Kleene's Logic with Equality
Flemming Nielson, Hanne Riis Nielson, M. Sagiv
Type
Journal paper [With referee]
Journal
Information Processing Letters
Year
2001
Vol.
80
pp.
131-137
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering