Title of article
Kleeneʹs Logic with Equality
Author/Authors
Flemming Nielson، نويسنده , , Hanne Riis Nielson، نويسنده , , Mooly Sagiv، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2001
Pages
7
From page
131
To page
137
Keywords
Formal logic , Specification languages , Formal semantics
Journal title
Information Processing Letters
Serial Year
2001
Journal title
Information Processing Letters
Record number
129405
Link To Document