Search results for: Jürgen Stuber
Lecture Notes in Computer Science > Automated Reasoning > A Model-Based Completeness Proof of Extended Narrowing and Resolution > 195-210
Lecture Notes in Computer Science > Principles and Practice of Semantic Web Reasoning > Semantics and Knowledge Representation > 160-173
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 229-245
Information and Computation > 2005 > 199 > 1-2 > 3-23
Theory of Computing Systems > 2004 > 37 > 6 > 717-740
Theoretical Computer Science > 1998 > 208 > 1-2 > 149-177