Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications

MPI-INF RG1 Publications

Entries sorted by: 3. Type of Publication - 1. All Types

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#Author/EditorYearTitle
2
Show details for BookBook
12
Show details for Part of a BookPart of a Book
7
Show details for ProceedingsProceedings
2
Show details for Electronic ProceedingsElectronic Proceedings
115
Show details for Proceedings ArticleProceedings Article
13
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
42
Hide details for Journal ArticleJournal Article
Avenhaus, Jürgen
Hillenbrand, Thomas
Löchner, Bernd
2003Attachment IconOn Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233
Bachmair, Leo
Ganzinger, Harald
1994Rewrite-based equational theorem proving with selection and simplification
In: Journal of Logic and Computation [4], 217-247
Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
1994Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212
Baumgartner, Peter
Waldmann, Uwe
2011A Combined Superposition and Model Evolution Calculus
In: Journal of Automated Reasoning [47], 191-227
Bjorner, Nikolaj
Sofronie-Stokkermans, Viorica
2013Preface: Special Issue of Selected Extended Papers of CADE-23
In: Journal of Automated Reasoning [51], 1-2
Damm, Werner
Dierks, Henning
Disch, Stefan
Hagemann, Willem
Pigorsch, Florian
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris
2012Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
In: Science of Computer Programming [77], 1122-1150
Damm, Werner
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
2011PTIME parametric verification of safety properties for reasonable linear hybrid automata
In: Mathematics in Computer Science [5], 469-497
Fietzke, Arnaud
Weidenbach, Christoph
2009Labelled Splitting
In: Annals of Mathematics and Artificial Intelligence [55], 3-34
Freiheit, Jörn
Luuk, Marc
Münch, Susanne
Sijanski, Grozdana
Zangl, Fabrice
2006Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27
Freiheit, Jörn
Zangl, Fabrice
2007Model-based User-interface Management for Public Services
In: Electronic Journal of e-Government [5], 53-62
Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
2006Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492
Ghilardi, Silvio
Sattler, Ulrike
Sofronie-Stokkermans, Viorica
Tiwari, Ashish
2010Special issue on automated deduction: Decidability, complexity, tractability
In: Journal of Symbolic Computation [45], 151-152
Horbach, Matthias
Weidenbach, Christoph
2010Superposition for Fixed Domains
In: ACM Transactions on Computational Logic [11], 27,1-27,35
Jacobs, Swen
Waldmann, Uwe
2007Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Journal of Automated Reasoning [38], 57-78
Kruglov, Evgeny
Weidenbach, Christoph
2012Attachment IconSuperposition Decides the First-Order Logic Fragment Over Ground Theories
In: Mathematics in Computer Science [6], 427-456
Kruglov, Evgeny
Weidenbach, Christoph
2012Attachment IconSuperposition Decides the First-Order Logic Fragment Over Ground Theories
In: Mathematics in Computer Science [6], 427-456
Letz, Reinhold
Weidenbach, Christoph
1998Paradigmen und Perspektiven der automatischen Deduktion
In: KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. [4], 15-19
Löchner, Bernd
Hillenbrand, Thomas
2002Attachment IconA Phytography of WALDMEISTER
In: AI Communications [15], 127-133
Ohlbach, Hans Jürgen
Weidenbach, Christoph
1995A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275
Peltier, Nicolas
Sofronie-Stokkermans, Viorica
2012First-order theorem proving: Foreword
In: Journal of Symbolic Computation [47], 1009-1010
Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica
2010Constraint Solving for Interpolation
In: Journal of Symbolic Computation [45], 1212-1233
Sofronie-Stokkermans, Viorica2013Locality and Applications to Subsumption Testing in EL and Some of its Extensions
In: Scientific Annals of Computer Science [23], 251-284
Sofronie-Stokkermans, Viorica2007Attachment IconAutomated theorem proving by resolution in non-classical logics
In: Annals of Mathematics and Artificial Intelligence [49], 221-252
Sofronie-Stokkermans, Viorica2007Attachment IconOn unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], 12.1-12.28
Sofronie-Stokkermans, Viorica2001Attachment IconAutomated 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, Viorica2000Attachment IconDuality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I
In: Studia Logica [64], 93-132
Sofronie-Stokkermans, Viorica2000Attachment IconDuality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
In: Studia Logica [64], 151-172
Sofronie-Stokkermans, Viorica2000Attachment IconPriestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics
In: Multiple-Valued Logic - An International Journal [5], 281-305
Sofronie-Stokkermans, Viorica
Ihlemann, Carsten
2007Automated reasoning in some local extensions of ordered structures
In: Journal of Multiple-Valued Logic and Soft Computing [13], 397-414
Tran, Duc-Khanh
Ringeissen, Christopher
Ranise, Silvio
Kirchner, Helene
2009Combinations of Convex Theories: Modularity, Deduction Completeness and Explanation
In: Journal of Symbolic Computation [45-], 261-286
Waldmann, Uwe2002Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861
Waldmann, Uwe2002Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829
Waldmann, Uwe1998Extending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49
Waldmann, Uwe1992Semantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35
Weber, Andreas
Sturm, Thomas
Abdel-Rahman, Essam O.
2011Algorithmic Global Criteria for Excluding Oscillations
In: Bulletin of Mathematical Biology [73], 899-916
Weidenbach, Christoph1999SPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21
Weidenbach, Christoph1997SPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252
Weidenbach, Christoph1996Unification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293
Weidenbach, Christoph1995First-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906
Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno
1998SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113
Weidenbach, Christoph
Wischnewski, Patrick
2010Subterm Contextual Rewriting
In: AI Communications [23], 97-109
Ziemann, Joerg
Matheis, Thomas
Freiheit, Jörn
2007Modelling of Cross-Organizational Business Processes - Current Methods and Standards
In: Enterprise Modelling and Information Systems Architectures [2], 23-31
8
Show details for Electronic Journal ArticleElectronic Journal Article
17
Show details for ReportReport
4
Show details for Thesis - Bachelor thesisThesis - Bachelor thesis
15
Show details for Thesis - Master's thesisThesis - Master's thesis
9
Show details for Thesis - Doctoral dissertationThesis - Doctoral dissertation
2
Show details for Thesis - Habilitation thesisThesis - Habilitation thesis
3
Show details for Thesis - Diploma thesisThesis - Diploma thesis
1
Show details for Unpublished/DraftUnpublished/Draft
1
Show details for MiscellaneousMiscellaneous
253

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)