Search results
Journal of Logic, Language and Information > 2019 > 28 > 2 > 261-285
Roczniki Humanistyczne > 2018 > 66 > 11: Anglica > 79-98
Linguistics and Philosophy > 2017 > 40 > 6 > 549-593
Software & Systems Modeling > 2019 > 18 > 1 > 691-720
Journal of Philosophical Logic > 2018 > 47 > 3 > 365-405
Personal and Ubiquitous Computing > 2017 > 21 > 3 > 475-487
Annals of Pure and Applied Logic > 2017 > 168 > 2 > 278-320
Natural Language & Linguistic Theory > 2017 > 35 > 3 > 801-837
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification Techniques and Languages > 237-248
Lecture Notes in Computer Science > Graph-Grammars and Their Application to Computer Science > 262-279
Lecture Notes in Computer Science > New Frontiers in Artificial Intelligence > Logic and Engineering of Natural Language Semantics > 197-216
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 122-136
Lecture Notes in Computer Science > ≪UML≫ 2000 — The Unified Modeling Language > Actions and Constraints > 440-450