„rewrite system“

Suchergebnisse

1.000+ Treffer

• Automated complexity analysis of rewrite systems
  Frohn, Florian ; Giesl, Jürgen ; Genaim, Samir 2018 Universitätsbibliothek der RWTH Aachen
• Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
  Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg
• A term rewriting technique for decision graphs
  Badban, Bahareh 2010 Bibliothek der Universität Konstanz
• New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems
  Gramlich, Bernhard 2024 Saarländische Universitäts- und Landesbibliothek
• Canonical Conditional Rewrite Systems Containing Extra Variables
  Avenhaus, Jürgen ; Loría-Sáenz, Carlos 2024 Saarländische Universitäts- und Landesbibliothek
• Transforming infinite rewrite systems into finite rewrite systems by embedding techniques
  Avenhaus, Jürgen 2023 Saarländische Universitäts- und Landesbibliothek
• An Application of Klop's Counterexample to a Higher-Order Rewrite System
  Nesmith, Dan 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems
  Gramlich, Bernhard 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• Reachability Problems – 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
  2014 Springer International Publishing
• Functional and Logic Programming – 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
  2014 Springer International Publishing
• RRLab – Rewrite Rule Labor
  Thomas, Christoph 2023 Saarländische Universitäts- und Landesbibliothek
• Dictionary Alignment by Rewrite-based Entry Translation
  Simões, Alberto ; Guinovart, Xavier Gómez 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules
  Nagele, Julian ; Felgenhauer, Bertram ; Middeldorp, Aart 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Containment of Regular Path Queries Under Path Constraints
  Salvati, Sylvain ; Tison, Sophie 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Objects and Subtyping in the Lambda-Pi-Calculus Modulo
  Cauderlier, Raphaël ; Dubois, Catherine 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Z; Syntax-Free Developments
  van Oostrom, Vincent 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems
  Kim, Dohan ; Lynch, Christopher 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
  Ikebuchi, Mirai 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Confluence Competition 2018
  Aoto, Takahito ; Hamana, Makoto ; Hirokawa, Nao ; Middeldorp, Aart ; Nagele, Julian ; Nishida, Naoki ; Shintani, Kiraku ; Zankl, Harald 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Confluence of Prefix-Constrained Rewrite Systems
  Andrianarivelo, Nirina ; Réty, Pierre 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik