| Jürgen Richter-Gebert < Jürgen Stuber < K. Benali | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002C03 (2000) | Jürgen Stuber | Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems |
| 002E10 (2001) | Jürgen Stuber | A Model-based Completeness Proof of Extended Narrowing And Resolution |
| 003101 (2001) | Claude Kirchner ; Zhebin Qian ; Preet Kamal Singh ; Jürgen Stuber | Xemantics : a Rewriting Calculus-Based Semantics of XSLT |
| 003118 (2001) | Manfred Schmidt-Schauss ; Jürgen Stuber | On the complexity of linear and stratified context matching problems |
| 003609 |