Original language | English |
---|---|
Journal | Information Processing Letters |
Volume | 80 |
Issue number | 3 |
Pages (from-to) | 131-137 |
ISSN | 0020-0190 |
Publication status | Published - 2001 |
Kleene's Logic with Equality
Flemming Nielson, Hanne Riis Nielson, M. Sagiv
Research output: Contribution to journal › Journal article › Research › peer-review