Showing 1 - 3 results of 3 for search 'Baaz, Matthias', query time: 0.02s Refine Results
  1. 1
    Methods of Cut-Elimination
    by Leitsch, Alexander, Baaz, Matthias
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
    Published 2002
    Other Authors: “…Baaz, Matthias…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /
    Published 2003
    Other Authors: “…Baaz, Matthias…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search