- Homomorphisms and Concurrent Term Rewriting Franck Seynhaeve Sophie Tison Marc Tommasi Mon 27 January 2014
- On one-pass term rewriting Zoltán Fuløp Eija Jurvanen Magnus Steinby Sándor Vágvølgyi Mon 27 January 2014
- Thue Specifications and Their Monadic Second-order Properties Teodor Knapik Hugues Calbrix Mon 27 January 2014
- Match-Bounded String Rewriting Systems Alfons Geser Dieter Hofbauer Johannes Waldmann Mon 27 January 2014
- On the complexity of some extended word problems defined by cancellation rules Michèle Benois Jacques Sakarovitch Mon 27 January 2014
- Automata and rational expressions on planar graphs Francis Bossut Max Dauchet Bruno Warin Mon 27 January 2014
- Descendants of regular language in a class of rewriting systems: Algorithm and complexity of an automata construction M. Benois Mon 27 January 2014
- Termination Proofs for String Rewriting Systems via Inverse Match-Bounds Alfons Geser Dieter Hofbauer Johannes Waldmann Mon 27 January 2014
- Equations in HNN-extensions Markus Lohrey Geraud Senizergues Mon 27 January 2014
- Layered Transducing Term Rewriting System and Its Recognizability Preserving Property Hiroyuki Seki Toshinori Takai Youhei Fujinaka Yuichi Kaji Mon 27 January 2014
- Simple Word Problems in Universal Algebras D.E. Knuth P.B. Bendix Sat 25 January 2014
- Bounded Second-Order Unification Is NP-Complete Jordi Levy Manfred Schmidt-Schauß Mateu Villaret Sat 25 January 2014
- Monadic Second-Order Unification Is NP-Complete Jordi Levy Manfred Schmidt-Schauß Mateu Villaret Sat 25 January 2014
- The undecidability of the second order predicate unification problem Gilles Amiot Sat 25 January 2014
- The undecidability of the second-order unification problem Warren D. Goldfarb Sat 25 January 2014
- The variable containment problem Stefan Kahrs Sat 25 January 2014
- From finite to infinite lambda calculi Jan-Willem KLOP Ronan SLEEP andsFer-Jan de VRIES Richard KENNAWAY Sat 25 January 2014
- Functional unification of higher-order patterns T. Nipkom Sat 25 January 2014
- A logic programming language with lambda-abstraction, function variables, and simple unification Dale Miller Sat 25 January 2014
- From Higher-Order to First-Order Rewriting Eduardo Bonelli Delia Kesner Alejandro Rios Sat 25 January 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
