Max Moser

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 1

Top Topics

Data Repositories

Top Venues

Publications

Max Moser, Sotirios Tsepelakis, Tomasz Miksa, David Eckhard
Connecting data repositories and DMP tools using maDMPs. DaMaLOS (2023)
Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr
SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reason. 18 (2) (1997)
Max Moser
-Unification. RTA (1993)
Max Moser
Compilation of Equational Reasoning into Logic Programs. WLP (1993)
Johann M. Ph. Schumann, Max Moser
A graphical user interface for SETHEO: proposal Forschungsberichte, TU Munich (1992)