Kleene's Logic with Equality

Flemming Nielson, Hanne Riis Nielson, M. Sagiv

TypeJournal paper [With referee]
JournalInformation Processing Letters
Year2001    Vol. 80    pp. 131-137
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering