Searching for authors named "Ullrich Hustadt" – sorted by Relevance.
51 documents found, showing 1 through 10.
Next 10 →
-
and Physical database design Topics
- …Data Structures and Information Systems Part 2: Information Systems Ullrich Hustadt Lecture 33…
- Add To MetaCart
-
Last time..
- …Data Structures and Information Systems Part 2: Information Systems Ullrich Hustadt Lecture 33…
- Add To MetaCart
-
Scientific benchmarking with temporal logic decision procedures
- …Scientific Benchmarking with Temporal Logic Decision Procedures Ullrich Hustadt Department…
- Cited by 7 (3 self) – Add To MetaCart
-
A Complete Transformation System for Polymorphic Higher-Order Unification
- …A Complete Transformation System for Polymorphic Higher-Order Unification Ullrich Hustadt MPI…
- Cited by 5 (0 self) – Add To MetaCart
-
A Multi-Modal Logic for Stereotyping
- …A Multi-Modal Logic for Stereotyping Ullrich Hustadt Max-Planck-Institut fur Informatik, Im…
- Cited by 7 (0 self) – Add To MetaCart
-
Do We Need the Closed-World Assumption in Knowledge Representation?
- …Do we need the closed-world assumption in knowledge representation? Ullrich Hustadt Max…
- Cited by 1 (0 self) – Add To MetaCart
-
Reducing SHIQ − Description Logic to Disjunctive Datalog Programs
- …Reducing SHIQ − Description Logic to Disjunctive Datalog Programs Ullrich Hustadt Department…
- Cited by 93 (16 self) – Add To MetaCart
-
Unification and Matching in Church's Original Lambda Calculus
- …Unification and Matching in Church's Original Lambda Calculus Ullrich Hustadt MPI--I--92--219 June…
- Add To MetaCart
-
Modalities in Knowledge Representation
- …Modalities in Knowledge Representation Ullrich Hustadt and Andreas Nonnengart Max…
- Cited by 14 (4 self) – Add To MetaCart
-
TRP ++ : A temporal resolution prover
- …TRP ++ : A temporal resolution prover ? Ullrich Hustadt and Boris Konev ?? Logic…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
