Search results
From MaRDI portal
- sequential and forward-branching term rewriting systems 1995-06-08 Paper Constructor equivalent term rewriting systems are strongly sequential: A direct...10 bytes (17 words) - 21:44, 9 December 2023
- on Thatte's transformation of term rewriting systems 2005-02-22 Paper Deciding confluence of certain term rewriting systems in polynomial time 2004-11-18...10 bytes (18 words) - 15:18, 10 December 2023
- Non-Terminating Term Rewriting Systems 2012-04-03 Paper Proving Confluence of Term Rewriting Systems Automatically 2009-06-30 Paper Rewriting Techniques and...10 bytes (16 words) - 13:36, 24 September 2023
- Determinization of conditional term rewriting systems 2013-01-07 Paper Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related...10 bytes (16 words) - 09:43, 7 October 2023
- Transformations for Term Rewriting Systems 2016-02-05 Paper Confluence Competition 2015 2015-12-02 Paper Proving Confluence of Term Rewriting Systems via Persistency...10 bytes (16 words) - 12:50, 24 September 2023
- left-linear term rewriting systems 2007-04-16 Paper Termination proofs for string rewriting systems via inverse match-bounds 2006-11-17 Paper Term Rewriting and...10 bytes (16 words) - 02:16, 13 December 2023
- hierarchical term rewriting systems 1997-02-27 Paper Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system 1995-11-16...10 bytes (22 words) - 14:54, 28 January 2024
- Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs 2011-07-29 Paper Term Rewriting and Applications 2005-11-11...10 bytes (16 words) - 11:41, 24 September 2023
- theories in conditional rewriting 2016-12-28 Paper Dependency pairs for proving termination properties of conditional term rewriting systems 2016-11-30 Paper...10 bytes (17 words) - 07:17, 7 October 2023
- recursion in term rewriting 2014-02-25 Paper Transformation for Refining Unraveled Conditional Term Rewriting Systems 2013-12-06 Paper Term Rewriting with Logical...10 bytes (16 words) - 10:46, 24 September 2023
- removal in term rewriting 2023-03-09 Paper Termination of term rewriting by interpretation 2023-03-09 Paper Total termination of term rewriting 2022-12-09...10 bytes (17 words) - 04:11, 9 December 2023
- conditional rewriting 2016-12-28 Paper Dependency pairs for proving termination properties of conditional term rewriting systems 2016-11-30 Paper Rewriting modulo...10 bytes (17 words) - 11:55, 11 December 2023
- confluent variable-preserving term rewriting systems 1997-02-28 Paper On the modularity of termination of term rewriting systems 1997-02-27 Paper Modular properties...10 bytes (16 words) - 04:11, 9 December 2023
- Publication Type Extended term rewriting systems 2023-03-09 Paper Termination for the direct sum of left-linear term rewriting systems 2022-12-09 Paper Transfinite...10 bytes (19 words) - 07:36, 12 December 2023
- Type Sufficient conditions for modular termination of conditional term rewriting systems 2023-03-09 Paper A constructor-based approach for positive/negative-conditional...10 bytes (17 words) - 03:23, 9 December 2023
- narrowing modulo in rewriting logic and Maude 2018-08-09 Paper Gain-Constrained Kalman Filtering for Linear and Nonlinear Systems 2018-06-27 Paper Observability...10 bytes (19 words) - 08:06, 9 December 2023
- Problem of Term Equation Systems 2016-05-03 Paper Symbol different term rewrite systems 2015-08-21 Paper Tree shuffle 2014-01-22 Paper Rewriting preserving...10 bytes (16 words) - 18:19, 11 December 2023
- equational unification 2012-06-08 Paper A compact fixpoint semantics for term rewriting systems 2010-08-24 Paper Goal-Directed and Relative Dependency Pairs for...10 bytes (16 words) - 06:07, 13 December 2023
- Verification-Led Smart Contracts 2023-08-03 Paper Simple type inference for term graph rewriting systems 2023-03-09 Paper Moded and continuous abstract state machines...10 bytes (16 words) - 02:44, 12 December 2023
- finite-state CCS expressions by rewriting 1997-02-28 Paper Infinite normal forms for non-linear term rewriting systems 1997-02-27 Paper https://portal...10 bytes (16 words) - 17:16, 12 December 2023
