ask others

7. RTA 1996: New Brunswick, NJ, USA

> Home > Conferences and Workshops > RTA

- no documents available
- export record
  dblp key:
  - conf/rta/1996
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/1996
Harald Ganzinger:
Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings. Lecture Notes in Computer Science 1103, Springer 1996, ISBN 3-540-61464-8

Regular Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Kapur96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Kapur96
Deepak Kapur:
Rewrite-Based Automated Reasoning: Challenges Ahead. 1-2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/KirchnerLS96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/KirchnerLS96
Claude Kirchner, Christopher Lynch, Christelle Scharff:
Fine-Grained Concurrent Completion. 3-17
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BoudetCM96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/BoudetCM96
Alexandre Boudet, Evelyne Contejean, Claude Marché:
AC-Complete Unification and its Application to Theorem Proving. 18-32
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Stuber96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Stuber96
Jürgen Stuber:
Superposition Theorem Proving for Albelian Groups Represented as Integer Modules. 33-47
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Gobel96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Gobel96
Manfred Göbel:
Symideal Gröbner Bases. 48-62
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/ArtsG96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/ArtsG96
Thomas Arts, Jürgen Giesl:
Termination of Constructor Systems. 63-77
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Ferreira96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Ferreira96
Maria C. F. Ferreira:
Dummy Elimination in Equational Rewriting. 78-92
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Gramlich96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Gramlich96
Bernhard Gramlich:
On Proving Termination by Innermost Termination. 93-107
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/JouannaudR96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/JouannaudR96
Jean-Pierre Jouannaud, Albert Rubio:
A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form. 108-122
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Virga96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Virga96
Roberto Virga:
Higher-Order Superposition for Dependent Types. 123-137
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/HanusP96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/HanusP96
Michael Hanus, Christian Prehofer:
Higher-Order Narrowing with Definitional Trees. 138-152
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Huet96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Huet96
Gérard P. Huet:
Design Proof Assistant (Abstract). 153
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Vittek96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Vittek96
Marian Vittek:
A Compiler for Nondeterministic Term Rewriting Systems. 154-167
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BlooR96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/BlooR96
Roel Bloo, Kristoffer Høgsbro Rose:
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation. 169-183
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Kesner96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Kesner96
Delia Kesner:
Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract). 184-199
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Cosmo96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Cosmo96
Roberto Di Cosmo:
On the Power of Simple Diagrams. 200-214
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/GuerriniMM96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/GuerriniMM96
Stefano Guerrini, Simone Martini, Andrea Masini:
Coherence for Sharing Proof Nets. 215-229
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Rao96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Rao96
M. R. K. Krishna Rao:
Modularity of Termination in Term Graph Rewriting. 230-244
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/GramlichW96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/GramlichW96
Bernhard Gramlich, Claus-Peter Wirth:
Confluence of Terminating Conditional Rewrite Systems Revisited. 245-259
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Madlener96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Madlener96
Klaus Madlener:
Applications of Rewrite Techniques in Monoids and Rings (Abstract). 260
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Luth96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Luth96
Christoph Lüth:
Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. 261-275
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Treinen96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Treinen96
Ralf Treinen:
The First-Order Theory of One-Step Rewriting is Undecidable. 276-286
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Schmidt-Schauss96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Schmidt-Schauss96
Manfred Schmidt-Schauß:
An Algorithm for Distributive Unification. 287-301
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Senizergues96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Senizergues96
Géraud Sénizergues:
On the Termination Problem for One-Rule Semi-Thue System. 302-316
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/CurienQS96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/CurienQS96
Régis Curien, Zhenyu Qian, Hui Shi:
Efficient Second-Order Matching. 317-331
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Levy96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Levy96
Jordi Levy:
Linear Second-Order Unification. 332-346
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/FettigL96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/FettigL96
Roland Fettig, Bernd Löchner:
Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type. 347-361
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Jacquemard96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Jacquemard96
Florent Jacquemard:
Decidable Approximations of Term Rewriting Systems. 362-376
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/SakaiT96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/SakaiT96
Masahiko Sakai, Yoshihito Toyama:
Semantics and Strong Sequentiality of Priority Term Rewriting Systems. 377-391
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Oostrom96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Oostrom96
Vincent van Oostrom:
Higher-Order Families. 392-407

System Descriptions

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Voisin96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/Voisin96
Frédéric Voisin:
A New Proof Manager and Graphic Interface for Larch Prover. 408-411
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BundgenSW96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/BundgenSW96
Reinhard Bündgen, Carsten Sinz, Jochen Walter:
ReDuX 1.5: New Facets of Rewriting. 412-415
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/ContejeanM96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/ContejeanM96
Evelyne Contejean, Claude Marché:
CiME: Completion Modulo E. 416-419
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/VandevoordeK96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/VandevoordeK96
Mark T. Vandevoorde, Deepak Kapur:
Distributed Larch Prover (DLP): An Experiment in Parallelizing a Rewrite-Rule Based Prover. 420-423
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/WaltersK96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/WaltersK96
H. R. Walters, J. F. Th. Kamperman:
EPIC: An Equational Language -Abstract Machine Supporting Tools-. 424-427
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BerregebBR96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/BerregebBR96
Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch:
SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories. 428-431
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/HillenbrandBF96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/rta/HillenbrandBF96
Thomas Hillenbrand, Arnim Buch, Roland Fettig:
On Gaining Efficiency in Completion-Based Theorem Proving. 432-435