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

Max Moser Vis

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

*1997
3 Max 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)
1993
2EEMax Moser: Improving Transformation Systems for General E-Unification. RTA 1993: 92-105
1 Max Moser: Compilation of Equational Reasoning into Logic Programs. WLP 1993: 73-77

Coauthor Index

1Christoph Goller [3]
2Ortrun Ibens [3]
3Reinhold Letz [3]
4Klaus Mayr [3]
5Johann Schumann [3]
6Joachim Steinbach [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)