 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00100440v1
Communication dans un congrès
Jürgen Stuber. A Model-based Completeness Proof of Extended Narrowing And Resolution R. Gore, A. Leitsch, T. Nipkow. First International Joint Conference on Automated Reasoning - IJCAR'2001, 2001, Siena, Italy, Springer, 2083, pp.195-210, 2001, Lecture notes in Computer Science |
||
|
inria-00099710v1
Communication dans un congrès
Harald Ganzinger, Jürgen Stuber. Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation Franz Baader. 19th International Conference on Automated Deduction - CADE-19, 2003, Miami Beach, FL, United States. Springer Berlin / Heidelberg, 2741, pp.335-349, 2003, Lecture notes in Computer Science; Automated Deduction – CADE-19. <10.1007/978-3-540-45085-6_31> |
||
|
inria-00099187v1
Communication dans un congrès
Jürgen Stuber. Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems Leo Bachmair. International Conference on Rewriting Techniques & Applications - RTA'2000, 2000, Norwich, UK, Springer-Verlarg, 1833, pp.229-245, 2000, Lecture Notes in Computer Science |
||
|
inria-00100988v1
Communication dans un congrès
Manfred Schmidt-Schauss, Jürgen Stuber. On the complexity of linear and stratified context matching problems 2nd International Workshop on Complexity in Automated Deduction - CiAD'02, Jul 2002, Copenhagen, Denmark. 18 p, 2002 |
||
|
inria-00072491v1
Rapport
Jürgen Stuber. A Model-based Completeness Proof of Extended Narrowing And Resolution [Research Report] RR-4135, INRIA. 2001, pp.18 |
||
|
inria-00099469v1
Communication dans un congrès
Jürgen Stuber, Mark Van den Brand. Extracting Mathematical Semantics from LaTeX Documents Workshop on Principles and Practice of Semantic Web Reasoning - PPSWR'2003, Dec 2003, Mumbai, India, 15 p, 2003 |
||
|
inria-00107547v1
Rapport
Claude Kirchner, Zhebin Qian, Preet Kamal Singh, Jürgen Stuber. Xemantics: a Rewriting Calculus-Based Semantics of XSLT [Intern report] A01-R-386 || kirchner01c, 2001, 50 p |
||
|
inria-00071656v1
Rapport
Manfred Schmidt-Schauss, Jürgen Stuber. On the Complexity of Linear and Stratified : Context Matching Problems [Research Report] RR-4923, INRIA. 2003, pp.28 |
||
|
inria-00071750v1
Rapport
Harald Ganzinger, Jürgen Stuber. Superposition with Equivalence Reasoning andDelayed Clause Normal Form Transformation [Research Report] RR-4835, INRIA. 2003, pp.23 |
||
|
inria-00100071v1
Article dans une revue
Manfred Schmidt-Schauss, Jürgen Stuber. The complexity of linear and stratified context matching problems Theory of Computing Systems, Springer Verlag, 2004, 37 (6), pp.717-740 |
||
|
|
||