DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Nissim Francez
Nissim Francez
Lecture Notes in Computer Science
Unification Grammars Nissim Francez and Shuly Wintner Frontmatter More Information
Chp%3A10.1007%2F3-54
Amalia--A Unified Platform for Parsing and Generation
Semantics of Nondeterminism, Concurrency, and Communication*
David S. Brée
Off-Line Parsability and the Well-Foundedness of Subsumption
Proceedings of the 15Th Meeting on the Mathematics of Language (MOL 2017), Held at Queen Mary University of London, on July 13–14, 2017
Notes on Computational Linguistics
Elephant 2000: a Programming Language Based on Speech Acts
Rechnion - Israel Institute Ot Technology Computer Science Dep~Rtment
Categorial Grammar and the Semantics of Contextual Prepositional Phrases
Script: a Communication Abstraction Mechanism and Its Verification*
David Gries Advisory Board F
An Abstract Machine for Unification Grammars
RESUME: Prof. Emeritus NISSIM FRANCEZ
Fifteenth Amsterdam Colloquium December 19 — 21, 2005
Appraising Fairness in Languages for Distributed Programming*
Top View
Lecture Notes in Computer Science 5533 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
Science of Computer Programming Remembering Amir Pnueli, a Great Scientist and a Great Friend (April 22, 1941 – November 2, 2009)
Proceedings of FG-Mol 2005: the 10Th Conference on Formal Grammar and the 9Th Meeting on Mathematics of Language Edinburgh
Most Prolific DBLP Authors
Fairness and Hyperfairness
Compostional Semantics for Unification-Based Linguistics Formalisms
What Is a Trace? a Runtime Verification Perspective
Multiparty Interactions for Interprocess Communication and Synchronization
MARK J. STEEDMAN FBA FRSE Curriculum Vitae (November 3, 2020)
Temporal Logic: the Lesser of Three Evils
Curriculum Vitae: Shuly Wintner
Decomposition of Distributed Programs Into Communication-Closed Layers
Report of the Visiting Committee on FIRST