Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings 2000
    DBLP: db/conf/rta/rta2000.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 20  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Evelyne Contejean, Antoine Coste, Benjamin Monate.
    Rewriting Techniques in Theoretical Physics.
    Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Frédéric Blanqui.
    Termination and Confluence of Higher-Order Rewrite Systems.
    Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Eduardo Bonelli, Delia Kesner, Alejandro Ríos.
    A de Bruijn Notation for Higher-Order Rewriting.
    Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Thomas Arts.
    System Description: The Dependency Pair Method.
    Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Nikolaj Bjørner, César Muñoz.
    Absolute Explicit Unification.
    Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Philippe de Groote.
    Linear Higher-Order Matching Is NP-Complete.
    Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Daniel J. Dougherty, Claudio Gutierrez.
    Normal Forms and Reduction for Theories of Binary Relations.
    Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Katrin Erk, Joachim Niehren.
    Parallelism Constraints.
    Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Felix Joachimski, Ralph Matthes.
    Standardization and Confluence for a Lambda Calculus with Generalized Applications.
    Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Jordi Levy, Mateu Villaret.
    Linear Second-Order Unification and Context Unification with Tree-Regular Constraints.
    Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings 2000 (0) 2000
    Show item 1 to 10 of 20  

    Your query returned 20 matches in the database.