Showing 1 - 6 results of 6 for search 'Gurevich, Yuri', query time: 0.02s Refine Results
  1. 1
    Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
    Published 2007
    Other Authors: “…Gurevich, Yuri…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Semantics of programming languages and model theory Dagstuhl-Seminar-Report; 16 24.-28.6.1991(9126)
    Other Authors: “…Gurevich, Yuri…”
    Book
  3. 3
    Semantics of programming languages and algebra Dagstuhl-Seminar-report; 65 07.06.-11.06.93(9323)
    Other Authors: “…Gurevich, Yuri…”
    Book
  4. 4
    The classical decision problem /
    by Boerger, Egon, 1946-
    Published 1997
    Other Authors: “…Gurevich, Yuri…”
    Book
  5. 5
    Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
    Published 2000
    Other Authors: “…Gurevich, Yuri…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)
    Other Authors: “…Gurevich, Yuri…”
    Book
Search Tools: RSS Feed – Email Search