Max Moser

According to our database, Max Moser authored at least 5 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Connecting data repositories and DMP tools using maDMPs.

Max Moser, Sotirios Tsepelakis, Tomasz Miksa, David Eckhard

Proceedings of the 3rd Workshop on Metadata and Research (objects) Management for Linked Open Science, 2023

1997

SETHEO and E-SETHEO - The CADE-13 Systems.

Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr

J. Autom. Reason., 1997

1993

Compilation of Equational Reasoning into Logic Programs.

Max Moser

Proceedings of the 9. Workshop Logische Programmierung, 1993

Improving Transformation Systems for General <i>E</i>-Unification.

Max Moser

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

1992

A graphical user interface for SETHEO: proposal

Johann M. Ph. Schumann, Max Moser

Forschungsberichte, TU Munich, 1992