search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Languages: From Formal to Natural

Keyphrases

Publications

2009

Tzilla Elrad
Aspect Oriented Approach for Capturing and Verifying Distributed Properties. Languages: From Formal to Natural (2009)
Yulia Dubov, Michael Kaminski
The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata. Languages: From Formal to Natural (2009)
Emilia Katz, Shmuel Katz
Modular Verification of Strongly Invasive Aspects. Languages: From Formal to Natural (2009)
Ron Artstein, Sudeep Gandhe, Jillian Gerten, Anton Leuski, David R. Traum
Semi-formal Evaluation of Conversational Characters. Languages: From Formal to Natural (2009)
Gilad Ben-Avi, Yoad Winter
Scope Dominance with Generalized Quantifiers. Languages: From Formal to Natural (2009)
Shuly Wintner, Alon Lavie, Brian MacWhinney
Formal Grammars of Early Language. Languages: From Formal to Natural (2009)
Ian Pratt-Hartmann
No Syllogisms for the Numerical Syllogistic. Languages: From Formal to Natural (2009)
Daniel Lehmann
Classes of Service under Perfect Competition and Technological Change. Languages: From Formal to Natural (2009)
Avi Yadgar, Orna Grumberg, Assaf Schuster
Hybrid BDD and All-SAT Method for Model Checking. Languages: From Formal to Natural (2009)
Rani Nelken
On the Ontological Nature of Syntactic Categories in Categorial Grammar. Languages: From Formal to Natural (2009)
Nachum Dershowitz
On Lazy Commutation. Languages: From Formal to Natural (2009)
Wojciech Buszkowski, Maciej Farulewski
Nonassociative Lambek Calculus with Additives and Context-Free Languages. Languages: From Formal to Natural (2009)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Modular Verification of Recursive Programs. Languages: From Formal to Natural (2009)
Itamar Francez
No i-Sums for Nissim (and Shalom). Languages: From Formal to Natural (2009)
Sara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Ksenya Kveler, Alex Melament, Haim Nelken
Masking Gateway for Enterprises. Languages: From Formal to Natural (2009)

volume 5533, 2009

Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday Languages: From Formal to Natural 5533 (2009)