default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th FTP 2003: Valencia, Spain
- Ingo Dahn, Laurent Vigneron:
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. Electronic Notes in Theoretical Computer Science 86(1), Elsevier 2003 - Dieter Hutter
:
Deduction as an Engineering Science. 1-8 - Thomas Hillenbrand:
Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER. 9-21 - Silvio Ghilardi:
Quantifier Elimination and Provers Integration. 22-34 - Cesare Tinelli, Calogero G. Zarba:
Combining Non-Stably Infinite Theories. 35-48 - Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba:
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. 49-60 - Thierry Boy de la Tour, Mnacho Echenim:
On Leaf Permutative Theories and Occurrence Permutation Groups. 61-75 - Sébastien Limet, Gernot Salzer:
Manipulating Tree Tuple Languages by Transforming Logic Programs. 76-90 - Nicolas Peltier:
A Resolution-based Model Building Algorithm for a Fragment of OCC1N=. 91-104 - Silvio Ranise, David Déharbe:
Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs. 105-119 - Nachum Dershowitz:
Canonicity. 120-132 - Guillaume Feuillade, Thomas Genet:
Reachability in Conditional Term Rewriting Systems. 133-146 - Josef Urban:
MPTP 0.1: System Description. 147-152 - Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso:
VOTE: Group Editors Analyzing Tool: System Description. 153-161 - Hans Zantema, Jan Friso Groote:
Transforming equality logic to propositional logic. 162-173 - Mateja Jamnik, Predrag Janicic:
Learning Strategies for Mechanised Building of Decision Procedures. 174-189 - Hantao Zhang, Haiou Shen, Felip Manyà:
Exact Algorithms for MAX-SAT. 190-203 - Ingo Dahn, Laurent Vigneron:
Preface. 204-205
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-12 22:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
