MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 7. Library - 2. All Years - 8. Journal Short Titles

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
Journal Full Title / ISSNYearAuthor/EditorTitle
Show details for New Gener. Comput.New Gener. Comput.
Show details for Parallel Processing LettersParallel Processing Letters
Show details for STTTSTTT
Show details for Stud. Log.Stud. Log.
Show details for TECSTECS
Show details for Theor. Comput. Sci.Theor. Comput. Sci.
Show details for TOPLASTOPLAS
Hide details for (Not Categorized)(Not Categorized)
ACM Transactions on Programming Languages and Systems
0164-0925
2009Lee, Chin SoonRanking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42
Discrete Applied Mathematics
0166-218X
2007Sofronie-Stokkermans, VioricaAttachment IconAutomated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ?
ACM Transactions on Computational Logic
-
2007Sofronie-Stokkermans, VioricaAttachment IconOn unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ?
International Journal on Artificial Intelligence Tools
0218-2130
2006Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare
Implementing the Model Evolution Calculus
In: International Journal on Artificial Intelligence Tools [15], 21-52
Digital Evidence Journal
1750-7200
2006Freiheit, Jörn
Luuk, Marc
Münch, Susanne
Sijanski, Grozdana
Zangl, Fabrice
Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27
Information and Computation
0890-5401
2006Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492
Artificial Intelligence
-
2006Hoffmann, Jörg
Brafman, Ronen I.
Conformant planning via heuristic forward search: A new approach
In: Artificial Intelligence [170], 507-541
ACM Transactions on Computational Logic
-
2006Ratschan, StefanEfficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748
KI - Künstliche Intelligenz
0933-1875
2005Baumgartner, Peter
Furbach, Ulrich
Yahya, Adnan
Automated Reasoning, Knowledge Representation and Management
In: KI - Künstliche Intelligenz [1], 5-11
Theoretical Computer Science
0304-3975
2005Blanchet, Bruno
Podelski, Andreas
Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90
Information and Computation
-
2005de Nivelle, HansTranslation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54
Journal of Logic, Language and Information
0925-8531
2005de Nivelle, Hans
Demri, Stéphane
Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329
Technique et Science Informatiques
-
2005Delahaye, David
Jaume, Mathieu
Prevosto, Virgile
Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160
Information and Computation
-
2005Ganzinger, Harald
Stuber, Jürgen
Superposition with equivalence reasoning and delayed clause normal form transformation
In: Information and Computation [199], 3-23
Siberian Mathematical Journal
0037-4466
2005Goncharov, Sergey
Harizanov, Valentina
Knight, Julia F.
Morozov, Andrey
Romina, Anya
On automorphic tuples of elements in computable models
In: Siberian Mathematical Journal [46], 405-412
Artificial Intelligence
0004-3702
2005Hoffmann, JörgIn Defense of PDDL Axioms
In: Artificial Intelligence [168], 38-69
Journal of Artificial Intelligence Research
1076-9757
2005Hoffmann, JörgThe Deterministic Part of IPC-4: An Overview
In: Journal of Artificial Intelligence Research [24], 519 - 579
Journal of Artificial Intelligence Research
1076-9757
2005Hoffmann, JörgWhere Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks
In: Journal of Artificial Intelligence Research [24], 685-758
ACM Transactions on Computational Logic
-
2005Korovin, Konstantin
Voronkov, Andrei
Knuth-Bendix constraint solving is NP-complete
In: ACM Transactions on Computational Logic [6], 361-388
Journal of Automated Reasoning
-
2004Baumgartner, Peter
Furbach, Ulrich
Gross-Hardt, Margret
Sinner, Alex
Living Book -- Deduction, Slicing, and Interaction
In: Journal of Automated Reasoning [32], 259-286
Softwaretechnik-Trends
0720-8928
2004Baumgartner, Peter
Grabowski, Barbara
Oevel, Walter
Melis, Erica
In2Math - Interaktive Mathematik- und Informatikgrundausbildung
In: Softwaretechnik-Trends [24], 36-45
Journal of Automated Reasoning
-
2004Ganzinger, Harald
Nieuwenhuis, Robert
Nivela, Pilar
Attachment IconFast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120

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