| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861 | Waldmann, Uwe | | 2002 | Journal Article |
| Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829 | Waldmann, Uwe | | 2002 | Journal Article |
| Cancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes | Waldmann, Uwe | | 1997 | Thesis - PhD thesis |
| Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147 | Waldmann, Uwe | Ganzinger, Harald
[McAllester, David]
[Voronkov, Andrei] | 1999 | Proceedings Article |
| Canonical Transformation in Algebra, Universal Algebra and Logic
Universität des Saarlandes | Struth, Georg | | 1998 | Thesis - PhD thesis |
| Certified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop, | Prevosto, Virgile | [Coquand, Thierry]
[Lombardi, Henri]
[Roy, Marie-Franccoise] | 2006 | Electronic Proceedings Article |
| Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), 337-344 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica | | 2000 | Proceedings Article |
| Circumscription: Completeness Reviewed
In: Artificial Intelligence [60], 293-301 | Jaeger, Manfred | | 1993 | Journal Article |
| Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
In: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03, 1-13 | Hillenbrand, Thomas | [Dahn, Ingo]
[Vigneron, Laurent] | 2003 | Electronic Proceedings Article |
| Classical Methods in Nonmonotonic Reasoning
In: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94), 500-510 | Dimopoulos, Yannis | Ras, Z.
Zemankova, M. | 1994 | Proceedings Article |
| Clause Killer Transformations | Ohlbach, Hans Jürgen | | 1995 | Unpublished/Draft |
| Co-definite Set Constraints
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 211-225 | Charatonik, Witold
Podelski, Andreas | [Nipkow, Tobias] | 1998 | Proceedings Article |
| Coloured Rippling: An Extension of a Theorem Proving Heuristic
In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), 85-89 | [Yoshida, Tetsuja]
Bundy, Alan
[Green, Ian]
[Walsh, Toby]
Basin, David A. | Cohn, Tony | 1994 | Proceedings Article |
| Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29 | Bachmair, Leo
Ganzinger, Harald
Stuber, Jürgen | Astesiano, Egidio
Reggio, Gianna
Tarlecki, Andrzej | 1995 | Proceedings Article |
| Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391 | [Schmidt, Renate A.]
[Tishkovsky, Dmitry] | [Balbiani, Philippe]
[Suzuki, Nobu-Yuki]
[Wolter, Frank]
[Zakharyaschev, Michael] | 2003 | Part of a Book |
| Combining Lazy Narrowing and Simplification
In: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), 370-384 | Hanus, Michael | Hermenegildo, Manuel
Penjam, Jaan | 1994 | Proceedings Article |
| Combining logic and optimization in cutting plane theory
In: Proceedings of the Workshop on Frontiers of Combining Systems (FROCOS-2000), 1-17 | Eisenbrand, Friedrich
[Bockmayr, Alexander] | Kirchner, H.
Ringeissen, C. | 2000 | Proceedings Article |
| Combining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013 | Weidenbach, Christoph | [Robinson, Alan]
[Voronkov, Andrei] | 2001 | Part of a Book |
| Common and Mutual Belief for Agent Modeling
In: KI-94 Workshops: Extended Abstracts, 123-124 | Hustadt, Ullrich | Kunze, Jürgen
Stoyan, Herbert | 1994 | Proceedings Article |
| Common and Mutual Belief for Agent Modeling
In: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94), | Hustadt, Ullrich | Laux, Arnim
Wansing, Heinrich | 1994 | Proceedings Article |
| Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion'' | [Hähnle, Reiner]
[Kerber, Manfred]
Weidenbach, Christoph | | 1996 | Report |
| Comparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168 | Jacobs, Swen
Waldmann, Uwe | [Beckert, Bernhard] | 2005 | Proceedings Article |
| Compile-Time Analysis of Nonlinear Constraints in CLP(R)
In: New Generation Computing [13], 155-186 | Hanus, Michael | | 1995 | Journal Article |
| Completeness results for basic narrowing in non-copying implementations
In: Logic Programming, 393-407 | Krishna Rao, M. R. K. | Maher, Michael | 1996 | Proceedings Article |
| Completion of first-order clauses with equality by strict superposition
In: Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting, 162-180 | Bachmair, Leo
Ganzinger, Harald | Kaplan, St.
Okada, M. | 1991 | Proceedings Article |
| Completion Subsystem
In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 460-494 | Bertling, Hubert
Ganzinger, Harald
Schäfers, Renate
Nieuwenhuis, Robert
Orejas, Fernando | Hoffmann, Berthold
Krieg-Brückner, Bernd | 1993 | Part of a Book |
| Complex Probabilistic Modeling with Recursive Relational Bayesian Networks
In: Annals of Mathematics and Artificial Intelligence [32], 179-220 | Jaeger, Manfred | | 2001 | Journal Article |
| Complexity Analysis Based on Ordered Resolution
In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), 456-465 | Basin, David A.
Ganzinger, Harald | | 1996 | Proceedings Article |
| Complexity of Nonrecursive Logic Programs with Complex Values
In: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-98), 244-253 | Vorobyov, Sergei
Voronkov, Andrei | | 1998 | Proceedings Article |
| Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 343-357 | Maier, Patrick | [Gordon, Andrew D.] | 2003 | Proceedings Article |