Publication:3817652
From MaRDI portal
zbMath0666.68093MaRDI QIDQ3817652
Nachum Dershowitz, G. Sivakumar
Publication date: 1988
03B35: Mechanization of proofs and logical operations
03C05: Equational classes, universal algebra in model theory
Related Items