Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Programming Logics, MPI for Informatics, Max Planck Society;
1996-2-001 (beliebiger Volltext), 11KB
Ganzinger, H., & Waldmann, U.(1996). Theorem proving in cancellative abelian monoids (MPI-I-1996-2-001). Saarbrücken: Max-Planck-Institut für Informatik.