Showing 1 - 5 results of 5 for search 'Grädel, Erich', query time: 0.02s Refine Results
  1. 1
    Finite Model Theory and Its Applications
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Finite model theory and its applications /
    Published 2007
    Other Authors: “…Grädel, Erich, 1958-…”
    Book
  3. 3
    Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
    Published 2009
    Other Authors: “…Grädel, Erich…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    The classical decision problem /
    by Boerger, Egon, 1946-
    Published 1997
    Other Authors: “…Grädel, Erich, 1958-…”
    Book
  5. 5
    Automata, Logics, and Infinite Games A Guide to Current Research /
    Published 2002
    Other Authors: “…Grädel, Erich…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search