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
Hide details for ALCNALCN
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich		1996Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291		Part of a Book
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich		1995Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95		Proceedings Article
Show details for algebraalgebra
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
Show details for Artificial IntelligenceArtificial Intelligence
Show details for Assume-Guarantee ReasoningAssume-Guarantee Reasoning
Show details for asymptotic sta bilityasymptotic sta bility

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