FTP

Keyphrases

Publications

volume 556, 2010

Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009. FTP 556 (2010)

2009

Susumu Yamasaki
A Fixed Point Representation of References. FTP (2009)
Peter Jeavons
Presenting Constraints. FTP (2009)
Michel Ludwig, Ullrich Hustadt
Redundancy Elimination in Monodic Temporal Reasoning. FTP (2009)
Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa
Minimal Model Generation with Respect to an Atom Set. FTP (2009)
Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue
Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation. FTP (2009)
Manuel Lamotte-Schubert, Christoph Weidenbach
Analysis of Authorizations in SAP R/3. FTP (2009)
Lilia Georgieva, Patrick Maier
Inductive Reasoning for Shape Invariants. FTP (2009)
Hao Xu
Static Types As Search Heuristics. FTP (2009)
Peter Baumgartner, John Slaney
Constraint Modelling: A Challenge for First Order Automated Reasoning. FTP (2009)
Silvio Ranise
Towards the Verification of Security-Aware Transaction E-services. FTP (2009)
Nicolas Peltier, Viorica Sofronie-Stokkermans
Preface. FTP (2009)
Christoph Wernhard
Literal Projection and Circumscription. FTP (2009)
Silvio Ghilardi
Model-Checking of Array-Based Systems: from Foundations to Implementation. FTP (2009)

volume 86, number 1, 2003

4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003 FTP 86 (1) (2003)