Publication:4530465
From MaRDI portal
zbMath0996.03007MaRDI QIDQ4530465
Christoph Kreitz, Brigitte Pientka, Jens Otten, Stephan Schmitt
Publication date: 3 June 2002
matrix methods; unification; rippling; constructive logic; connection method; constructive theorem proving
68Q60: Specification and verification (program logics, model checking, etc.)
03B35: Mechanization of proofs and logical operations