Browse
FAQ

Author

Nissim Francez

6 books found

Cover of View of Connexive Logics

View of Connexive Logics

Nissim Francez · First published 2021

Cover of Proof-theoretic semantics

Proof-theoretic semantics

Nissim Francez, Anna Maria Radzikowska, Ingrid M. Rewitzky · First published 2015

Cover of Unification grammars

Unification grammars

Nissim Francez · First published 2011

Cover of Interacting processes

Interacting processes

Francez, Nissim. · First published 1996

Cover of Program verification

Program verification

Francez, Nissim. · First published 1992

Cover of Fairness

Fairness

Nissim Francez · First published 1986