„term rewriting“

Suchergebnisse

1.000+ Treffer

• Termination of Programs using Term Rewriting and SAT Solving
  Giesl, Jürgen ; Schneider-Kamp, Peter ; Thiemann, René ; Swiderski, Stephan ; Nguyen, Manh Thang ; De Schreye, Daniel ; Serebrenik, Alexander
• Homological Computations for Term Rewriting Systems
  Malbos, Philippe ; Mimram, Samuel 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
  Kassing, Jan-Christoph ; Giesl, Jürgen 2025 Universitätsbibliothek der RWTH Aachen
• Pattern matching of compressed terms and contexts and polynomial rewriting
  Schmidt-Schauß, Manfred 2011 Univ.-Bibliothek Frankfurt am Main
• Conditional and typed rewriting systems – 4th international workshop ; proceedings
  Dershowitz, Nachum 1995 Springer
• Term rewriting – advanced course
  Comon, Hubert 1995 Springer
• Dynamic task scheduling and binding for many-core systems through stream rewriting
  Middendorf, Lars ; Haubelt, Christian ; Schumann, Heidrun ; Hübner, Michael 2015 Universität Rostock
• Static termination analysis for prolog using term rewriting and SAT solving
  Schneider-Kamp, Peter 2008 RWTH, Fachgruppe Informatik
• The DP framework for proving termination of term rewriting
  Thiemann, René 2007 RWTH Aachen
• Relative termination
  Geser, Alfons 2012 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Simplification orders in term rewriting
  Lepper, Ingo
• Programming, specification and interactive theorem proving – towards a unified language based on equational logic, rewriting logic and type theory
  Stehr, Mark-Oliver
• Termination of rewriting – extensions, comparison and automatic generation of simplification orderings
  Steinbach, Joachim
• Frontiers of Combining Systems – 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21–24, 2015. Proceedings
  Fontaine, Pascal ; Ringeissen, Christophe ; Schmidt, Renate 2015 Springer International Publishing
• Frontiers of Combining Systems – 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Programming Languages and Systems – 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
  Jhala, Ranjit ; Igarashi, Atsushi 2012 Springer Berlin Heidelberg
• Rewriting Logic and Its Applications – 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
  Durán, Francisco 2012 Springer Berlin Heidelberg
• Frontiers of Combining Systems – 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
  Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer Berlin Heidelberg
• Fundamentals of Computation Theory – 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
  Owe, Olaf ; Steffen, Martin ; Telle, Jan Arne 2011 Springer Berlin Heidelberg
• Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
  Mariño, Julio 2011 Springer Berlin Heidelberg