Export\All to MPG RTF format...

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: 5. Year - 3. Two Years Ago - 2. MPG Jahrbuch Format

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

#edocLckAuthor/EditorYearTitleedoc identifier
9
Hide details for Veröffentlichungen der MitarbeiterVeröffentlichungen der Mitarbeiter
Blanchette, Popescu, Wand, Weidenbach2012More {SPASS} with {Isabelle} : Superposition with Hard Sorts and Configurable Simplification
In: Interactive Theorem Proving : Third International Conference, ITP 2012, 345-360
E8D9DE077D054C23C12579FB0041779E-Wand2012
Damm, Dierks, Disch, Hagemann, Pigorsch, Scholl, Waldmann, Wirtz2012Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
In: Science of Computer Programming [77], 1122-1150
AB3E71F0F1E47930C1257AD0005DD54B-DammDierksDischEtAl2012
Fietzke, Kruglov, Weidenbach2012Automatic Generation of Invariants for Circular Derivations in {SUP(LA)}
In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, 197-211
97F000051AE9CBD9C12579FB003F6F27-FietzkeKruglovWeidenbach2012
Fontaine, Merz, Weidenbach2012Combination of Disjoint Theories: Beyond Decidability
In: Proceedings of the 6th International Joint Conference on Automated Reasoning,
71B57E225528E4E0C1257B50002E86AE-FontaineMerzWeidenbach12
Stop sign IconKruglov, WeidenbachStop sign Icon2012Attachment IconSuperposition Decides the First-Order Logic Fragment Over Ground Theories
In: Mathematics in Computer Science [6], 427-456
989CF72D35C2EF31C1257AE9002CE650-KruglovWeidenbachMCS2012e
Kruglov, Weidenbach2012Attachment IconSuperposition Decides the First-Order Logic Fragment Over Ground Theories
In: Mathematics in Computer Science [6], 427-456
3AA49DC7DD31016FC1257B1100638146-KruglovWeidenbachMCS2012
Peltier, Sofronie-Stokkermans2012First-order theorem proving: Foreword
In: Journal of Symbolic Computation [47], 1009-1010
B9D3951C5CA0C69EC1257B1E006E1CBE-Sofronie-Stokkermans2012-jsc-ftp
Suda, Weidenbach2012Attachment IconA {PLTL}-prover based on labelled superposition with partial model guidance
In: Automated Reasoning : 6th International Joint Conference, IJCAR 2012, 537-543
BED98A2F132CC156C1257AD10038A23D-SudaWeidenbachIJCAR2012
Suda, Weidenbach2012Attachment IconLabelled Superposition for {PLTL}
In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, 391-405
CA616B5FF5079264C1257AD10036F1E5-SudaWeidenbachLPAR2012
2
Hide details for Publikationen im InternetPublikationen im Internet
Fietzke, Weidenbach2012Superposition as a Decision Procedure for Timed Automata
In: Mathematics in Computer Science [6], 409-425
C3E226157BA3C729C1257AED0052E27D-FietzkeWeidenbachMCS2012
Weidenbach, Wischnewski2012Satisfiability Checking and Query Answering for large Ontologies
In: PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning, 163-177
5E99662BAF13EEB8C1257AF000400A53-WeidenbachWischnewski2012
1
Hide details for Bachelor-ArbeitenBachelor-Arbeiten
Bromberger2012Attachment IconAdapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic9B349224CA2F4709C1257AF6004C972F-Bromberger12
1
Hide details for Diplomarbeiten (/Magisterarbeiten)Diplomarbeiten (/Magisterarbeiten)
Azmy2012Attachment IconFormula Renaming with GeneralizationsDF824D161A8C2600C1257AF6004FEBFF-Azmy12
1
Hide details for DissertationenDissertationen
Wischnewski2012Attachment IconEfficient Reasoning Procedures for Complex First-Order Theories09A72B09A52B038AC1257AF00040853F-Wischnewski12
14

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