Search results for: Murdoch J. Gabbay
Annals of Pure and Applied Logic > 2017 > 168 > 3 > 501-621
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 231-254
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 3. Proof-Theory 1 > 158-173
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 192-207
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Binding > 365-380
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Formal Languages > 198-212
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 179-193
Journal of Applied Logic > 2013 > 11 > 1 > 1-29
Electronic Notes in Theoretical Computer Science > 2012 > 286 > Complete > 103-116
Theoretical Computer Science > 2012 > 451 > Complete > 38-69
Journal of Applied Logic > 2012 > 10 > 2 > 199-217
Information and Computation > 2010 > 208 > 3 > 230-258
Information and Computation > 2009 > 207 > 12 > 1369-1400
Electronic Notes in Theoretical Computer Science > 2009 > 246 > Complete > 107-129