Publication:4537504
From MaRDI portal
zbMath0988.68597MaRDI QIDQ4537504
Michael Codish, Grigory Mashevitzky
Publication date: 1 July 2002
68Q55: Semantics in the theory of computing
03B35: Mechanization of proofs and logical operations
06A12: Semilattices
06B99: Lattices
Related Items