scientific article; zbMATH DE number 2090295
From MaRDI portal
Publication:4809051
zbMath1072.68591MaRDI QIDQ4809051
Vladimir Brezhnev, Jürgen Zimmer, Armin Fiedler, Markus Moschner, Claus-Peter Wirth, Immanuel Normann, Christoph Benzmüller, Carsten Ullrich, Helmut Horacek, Volker Sorge, Lassaad Cheikhrouhou, Michael Kohlhase, Andreas Meier, Martin Pollet, Andreas Franke, Erica Melis, Jörg H. Siekmann
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920144.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Verification of clock synchronization algorithms: experiments on a combination of deductive tools ⋮ TPS: A hybrid automatic-interactive system for developing proofs ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps ⋮ Managing Proof Documents for Asynchronous Processing ⋮ Translation of resolution proofs into short first-order proofs without choice axioms ⋮ Constraint solving for proof planning ⋮ OMEGA