| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Autodescriptivity: Beware!
In: The Computer Journal [34], 380-381 | [Brink, Chris]
[Rewitzky, I. M.]
Schmidt, Renate A. | | 1991 | Journal Article |
| Automata Based Symbolic Reasoning in Hardware Verification
In: Formal Methods in Systems Design [13], 255-288 | Basin, David A.
[Klarlund, Nils] | | 1998 | Journal Article |
| Automated Complexity Analysis Based on Ordered Resolution
In: Journal of the ACM [48], 70-109 | [Basin, David A.]
Ganzinger, Harald | | 2001 | Journal Article |
| Automated Program Transformation Through Proof Transformation
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 446-460 | Madden, Peter | Kapur, Deepak | 1992 | Proceedings Article |
| Automated Proof Construction in Type Theory using Resolution
In: Journal of Automated Reasoning [29], 253-275 | [Bezem, Marc]
[Hendriks, Dimitri]
de Nivelle, Hans | | 2002 | Journal Article |
| Automated Proof Construction in Type Theory Using Resolution
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 148-163 | de Nivelle, Hans
[Bezem, Marc]
[Hendriks, Dimitri] | [McAllester, David] | 2000 | Proceedings Article |
| Automated Reasoning, Knowledge Representation and Management
In: KI - Künstliche Intelligenz [1], 5-11 | Baumgartner, Peter
[Furbach, Ulrich]
[Yahya, Adnan] | | 2005 | Journal Article |
| Automated Support for the Development of Non-classical Logics
In: Workshop: Modellierung epistemischer Propositionen, KI '93, | Hustadt, Ullrich | Bürckert, Hans-Jürgen
Nutt, Werner | 1993 | Proceedings Article |
| Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
In: Multiple-Valued Logic - An International Journal [6], 289-344 | Sofronie-Stokkermans, Viorica | | 2001 | Journal Article |
| Automated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ? | Sofronie-Stokkermans, Viorica | | 2007 | Journal Article |
| Automated theorem proving by resolution in non-classical logics
In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), 151-167 | Sofronie-Stokkermans, Viorica | [Nadif, Mohamed]
[Napoli, Amedeo]
[SanJuan, Eric]
[Sigayret, Alain] | 2003 | Proceedings Article |
| Automatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22 | Jaeger, Manfred | | 2001 | Journal Article |
| Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291 | [Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris] | [Graf, Susanne]
[Zhang, Wenhui] | 2006 | Proceedings Article |
| Automating Meta-Theory Creation and System Extension
In: Proc. Trends in AI: 2nd Congress of the Italian Association for Artificial Intelligence (AI*IA), 48-57 | Basin, David A.
Giunchiglia, Fausto
Traverso, P. | Ardizzone, E.
Gaglio, S.
Sorbello, F. | 1991 | Proceedings Article |
| Basic Paramodulation
In: Information and Computation [121], 172-192 | Bachmair, Leo
Ganzinger, Harald
[Lynch, Christopher]
[Snyder, Wayne] | | 1995 | Journal Article |
| Basic Paramodulation and Superposition
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 462-476 | Bachmair, Leo
Ganzinger, Harald
Lynch, Christopher
Snyder, Wayne | Kapur, D. | 1992 | Proceedings Article |
| Berechnung optimaler Steinerbäume in der Ebene
Universität des Saarlandes | Althaus, Ernst | | 1998 | Thesis - Masters thesis |
| Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244 | Mukhopadhyay, Supratik
Podelski, Andreas | [Ramanujam, R]
[Raman, V.] | 1999 | Proceedings Article |
| Boolean Algebra Admits no Convergent Term Rewriting System
In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA-91), 264-274 | Socher-Ambrosius, Rolf | Book, R. V. | 1991 | Proceedings Article |
| Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination | Ohlbach, Hans Jürgen | | 1995 | Unpublished/Draft |
| Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15 | Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.] | | 2003 | Journal Article |
| Boolean and Cartesian Abstraction for Model Checking C Programs
In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), 268-283 | [Ball, Thomas]
Podelski, Andreas
[Rajamani, Sriram K.] | Margaria, Tiziana
Yi, Wang | 2001 | Proceedings Article |
| Boolean Heaps
In: Static analysis : 12th International Symposium, SAS 2005, 268-283 | Podelski, Andreas
Wies, Thomas | [Hankin, Chris]
[Siveroni, Igor] | 2005 | Proceedings Article |
| Bottom-Up Deduction with Deletion and Priorities
In: Programs as Data Objects (PADO-01) : Second Symposium PADO 2001, 276-277 | Ganzinger, Harald | [Danvy, Olivier]
[Filinski, Andrzej] | 2001 | Proceedings Article |
| Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412 | [Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick | [Ong, Luke] | 2005 | Proceedings Article |
| Bounds on the Chvátal Rank of Polytopes in the 0/1-Cube
In: Proceedings of the 7th Conference on Integer Programming and Combinatorial Optimization (IPCO-99), 137-150 | Eisenbrand, Friedrich
[Schulz, Andreas S.] | [Cornuéjols, Gérard]
Burkard, Rainer E.
Woeginger, Gerhard J. | 1999 | Proceedings Article |
| Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
In: INFORMS Journal on Computing [10], 287-300 | Bockmayr, Alexander
Kasper, Thomas | | 1998 | Journal Article |
| Branching Matters: Alternative Branching in Graphplan
In: 13th International Conference on Automated Planning and Scheduling (ICAPS-13), 22-31 | Hoffmann, Jörg
[Geffner, Hector] | [Giunchiglia, Enrico]
[Muscettola, Nicola]
[Nau, Dana] | 2003 | Proceedings Article |
| Buchberger's algorithm: a constraint-based completion procedure
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 285-301 | Bachmair, Leo
Ganzinger, Harald | Jouannaud, Jean-Pierre | 1994 | Proceedings Article |
| 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 |