Francez, Nissim.
Francez, Nissim, 1944-
Nissim Francez Israeli computer science professor (born 1944)
פרנסיז, נסים, 1944-
VIAF ID: 56766711 ( Personal )
Permalink: http://viaf.org/viaf/56766711
Preferred Forms
- 200 _ | ‡a Francez ‡b Nissim ‡f 1944-....
- 100 1 _ ‡a Francez, Nissim
-
- 100 1 _ ‡a Francez, Nissim
-
-
- 100 1 _ ‡a Francez, Nissim
-
- 100 1 _ ‡a Francez, Nissim
-
-
- 100 1 _ ‡a Francez, Nissim ‡d 1944-
-
-
- 100 0 _ ‡a Nissim Francez ‡c Israeli computer science professor (born 1944)
-
4xx's: Alternate Name Forms (16)
Works
Title | Sources |
---|---|
Appraising fairness in languages for distributed programming | |
Does the implication elimination rule need a minor premise? | |
Fairness, c1986: | |
Game semantics for the Lambek-calculus : capturing directionality and the absence of structural rules | |
Hypothetical-reasoning and radical non-constituent coordination in categorial logic | |
Interacting processes : a multiparty approach to coordinated distributed programming | |
Languages : from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday | |
On the direction of fibring feature logics with concatenation logics | |
Procedural dynamic semantics, verb-phrase ellipsis, and presupposition | |
Program verification | |
Proof-theoretic semantics for subsentential phrases | |
Unification grammars | |
A view of connexive logics |