dblp.uni-trier.dewww.uni-trier.de

Christoph Goller (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr: SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reasoning 18(2): 237-246 (1997)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann: SETHEO V3.2: Recent Developments - System Abstract. CADE 1994: 778-782
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhold Letz, Klaus Mayr, Christoph Goller: Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. J. Autom. Reasoning 13(3): 297-337 (1994)

Selection of 3 from 8 records - Christoph Goller has 13 coauthors

Copyright © 2009-12-07 by Michael Ley (ley@uni-trier.de)