|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nicolas Peltier, Viorica Sofronie-Stokkermans (eds.) |
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009.  |
FTP  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Susumu Yamasaki |
A Fixed Point Representation of References. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Peter Jeavons 0001 |
Presenting Constraints. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michel Ludwig, Ullrich Hustadt |
Redundancy Elimination in Monodic Temporal Reasoning. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita 0002, Ryuzo Hasegawa |
Minimal Model Generation with Respect to an Atom Set. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue |
Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Manuel Lamotte-Schubert, Christoph Weidenbach |
Analysis of Authorizations in SAP R/3. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lilia Georgieva, Patrick Maier 0001 |
Inductive Reasoning for Shape Invariants. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hao Xu |
Static Types As Search Heuristics. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner 0001, John Slaney |
Constraint Modelling: A Challenge for First Order Automated Reasoning. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Silvio Ranise |
Towards the Verification of Security-Aware Transaction E-services. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Peltier, Viorica Sofronie-Stokkermans |
Preface. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christoph Wernhard |
Literal Projection and Circumscription. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Silvio Ghilardi |
Model-Checking of Array-Based Systems: from Foundations to Implementation. |
FTP |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Peltier |
A Resolution-based Model Building Algorithm for a Fragment of OCC1N=. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Limet, Gernot Salzer |
Manipulating Tree Tuple Languages by Transforming Logic Programs. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ranise, David Déharbe |
Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Feuillade, Thomas Genet |
Reachability in Conditional Term Rewriting Systems. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateja Jamnik, Predrag Janicic |
Learning Strategies for Mechanised Building of Decision Procedures. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hantao Zhang 0001, Haiou Shen, Felip Manyà |
Exact Algorithms for MAX-SAT. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Dahn, Laurent Vigneron |
Preface. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso |
VOTE: Group Editors Analyzing Tool: System Description. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Zantema, Jan Friso Groote |
Transforming equality logic to propositional logic. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hillenbrand |
Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz |
Canonicity. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Urban |
MPTP 0.1: System Description. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cesare Tinelli, Calogero G. Zarba |
Combining Non-Stably Infinite Theories. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ghilardi |
Quantifier Elimination and Provers Integration. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Hutter |
Deduction as an Engineering Science. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba |
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Boy de la Tour, Mnacho Echenim |
On Leaf Permutative Theories and Occurrence Permutation Groups. |
FTP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Dahn, Laurent Vigneron (eds.) |
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 |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license