Search results for: Nissim Francez
Logica Universalis > 2019 > 13 > 1 > 65-75
Journal of Logic, Language and Information > 2019 > 28 > 1 > 1-7
Logic and Logical Philosophy > 2018 > 27 > 3 > 351-373
Journal of Philosophical Logic > 2019 > 48 > 2 > 245-262
Journal of Logic, Language and Information > 2018 > 27 > 3 > 193-203
Logica Universalis > 2017 > 11 > 4 > 489-505
Journal of Applied Logic > 2017 > 21 > C > 14-23
Journal of Logic, Language and Information > 2017 > 26 > 1 > 21-43
Lecture Notes in Computer Science > Logical Aspects of Computational Linguistics > Contributed Papers > 31-47
Lecture Notes in Computer Science > Logical Aspects of Computational Linguistics > Selected papers > 200-211
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 443-465