scientific article; zbMATH DE number 1765672
From MaRDI portal
Publication:4539608
zbMath0988.03510MaRDI QIDQ4539608
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830226
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Related Items (6)
Superposition as a decision procedure for timed automata ⋮ Superposition decides the first-order logic fragment over ground theories ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ Combinable Extensions of Abelian Groups ⋮ Superposition Modulo Linear Arithmetic SUP(LA) ⋮ Cancellative Abelian monoids and related structures in refutational theorem proving. II
This page was built for publication:
