Search Results - Francez, Nissim

Nissim Francez

Nissim Francez (; born 19 January 1944) is an Israeli professor, emeritus in the computer science faculty at the Technion, and former head of computational linguistics laboratory in the faculty. Provided by Wikipedia
Filter by
  1. 1
    Cover Image

    Unification grammars
    by Francez, Nissim

    Published 2012
    Read online
    eBook


    Saved in:
  2. 2
    Cover Image

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

    Published 1996
    Book


    Saved in:
  3. 3
    Cover Image

    Fairness
    by Francez, Nissim 1944-

    Published 1986
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1984
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1993
    Book


    Saved in:
  6. 6
    Cover Image

    Program verification
    by Francez, Nissim

    Published 1992
    Book


    Saved in:
  7. 7
    Cover Image

    Contrastive logic
    by Francez, Nissim

    Published 1991
    Book


    Saved in:
  8. 8
    Cover Image

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

    Published 1991
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 1985
    Book


    Saved in:
  10. 10
    Cover Image

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

    Published 1993
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 1991
    Book


    Saved in:
  12. 12
    Cover Image

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

    Published 1987
    Book


    Saved in:
  13. 13
    Cover Image

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

    Published 1984
    Book


    Saved in:
  14. 14
    Cover Image

    A weakest precondition semantics for communicating processes
    by Elrad, Tzilla, Francez, Nissim

    Published 1982
    Book


    Saved in:
  15. 15
    Cover Image

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

    Published 2012
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

    Unification grammars
    by Francez, Nissim 1944-

    Published 2012
    Read online (BSB)

    Library Card of Bavarian State Library (BSB) necessary.

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  17. 17
    Cover Image

    Unification grammars
    by Francez, Nissim

    Published 2012
    Order via interlibrary loan
    Electronic eBook


    Saved in:
  18. 18
    Cover Image

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

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

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

    Published 1997
    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

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

    Published 1997
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: