![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
4th 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.