MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 7. Library - 4. Category, Keywords

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/EditorYearTitleType
Show details for 03F0503F05
Show details for 03F2003F20
Show details for 0/1 polytope0/1 polytope
Show details for 2-variable fragment2-variable fragment
Show details for 68000 Assembler68000 Assembler
Show details for 68T1568T15
Show details for Abelian groupsAbelian groups
Show details for Abelian MonoidsAbelian Monoids
Show details for abstract interpretationabstract interpretation
Show details for AbstractionAbstraction
Show details for Agent-based systemsAgent-based systems
Show details for Agent logicAgent logic
Show details for Agent systemsAgent systems
Show details for ALCNALCN
Hide details for algebraalgebra
Ganzinger, McAllester, Voronkov (ed.)1999Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)Proceedings
Waldmann, Uwe1999Cancellative 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		Proceedings Article
Waldmann, Uwe1998Superposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159		Proceedings Article
Waldmann, Uwe1997A Superposition Calculus for Divisible Torsion-Free Abelian Groups
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 130-134		Proceedings Article
Waldmann, Uwe1997Cancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes		Thesis - Doctoral dissertation
Show details for algebraic logicalgebraic logic
Show details for Algebraic ModelingAlgebraic Modeling
Show details for Algebraic SpecificationAlgebraic Specification
Show details for Algebraic Varieties.Algebraic Varieties.
Show details for algebraische Spezifikationenalgebraische Spezifikationen
Show details for algorithmic invariant theoryalgorithmic invariant theory
Show details for ambient calculusambient calculus
Show details for ambient logicambient logic
Show details for AnalyseAnalyse
Show details for ArrayArray

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