Degtyarev, Anatoli Programming Logics, MPI for Informatics, Max Planck Society;
Voronkov, Andrei Programming Logics, MPI for Informatics, Max Planck Society;
1998-2-011 (beliebiger Volltext), 10KB
Degtyarev, A., & Voronkov, A.(1998). Equality reasoning in sequent-based calculi (MPI-I-1998-2-011). Saarbrücken: Max-Planck-Institut für Informatik.