Unification grammars / von Francez, Nissim

Volltext öffnen

Unification grammars von Francez, Nissim, Wintner, Shuly 1963-

Inhaltsverzeichnis

Unification grammars von Francez, Nissim 1944-

Volltext öffnen

Interacting processes a multiparty approach to coordinated distributed programming von Francez, Nissim, Forman, Ira R.

Fairness von Francez, Nissim 1944-

Proof rules for communication abstractions von Taubenfeld, Gadi, Francez, Nissim

Unification grammars von Francez, Nissim

Procedural dynamic semantics, verb-phrase ellipsis, and presupposition von Eijck, Jan van 1951-, Francez, Nissim

A proof system for asynchronously communicating sequential processes von Francez, Nissim, Stomp, Frank A.

Program verification von Francez, Nissim

Contrastive logic von Francez, Nissim

Finite-state datalog automata and relational languages von Shemesh, Yael, Francez, Nissim

Fairness in term rewriting systems von Porat, Sara, Francez, Nissim

On the direction of fibring feature logics with concatenation logics von Francez, Nissim

Hypothetical reasoning and radical non-constituent coordination in categorial logic von Francez, Nissim

Procedural dynamic semantics, verb-phrase ellipsis. and presupposition von Eijck, Jan van 1951-, Francez, Nissim

Program verification von Francez, Nissim

A direct soundness proof of the recursion rule von Francez, Nissim, Grumberg, Orna

Fairness and the axioms of control predicates von Francez, Nissim, Katz, Shmuel

Fairness in context-free grammars under canonical derivations von Porat, Sara, Francez, Nissim