Search results
From MaRDI portal
- confluence of order-sorted conditional specifications modulo axioms 2020-01-31 Paper Rewriting modulo SMT and open system analysis 2016-11-30 Paper The Formal...10 bytes (13 words) - 09:58, 6 October 2023
- Publication Type Graphical affine algebra 2024-12-19 Paper String diagram rewriting modulo commutative (co)monoid structure 2024-11-26 Paper Graphical piecewise-linear...10 bytes (13 words) - 00:15, 25 September 2023
- coherence of conditional rewriting modulo axioms 2018-02-09 Paper Partial evaluation of order-sorted equational programs modulo axioms 2017-10-13 Paper...10 bytes (15 words) - 10:55, 11 December 2023
- of algebraic rewriting systems 2023-02-28 Paper Coherent confluence modulo relations and double groupoids 2022-05-10 Paper Rewriting modulo isotopies in...10 bytes (13 words) - 01:03, 25 September 2023
- Publication Type String diagram rewriting modulo commutative (co)monoid structure 2024-11-26 Paper String Diagram Rewriting Modulo Commutative (Co)monoid Structure...10 bytes (13 words) - 19:16, 26 December 2023
- specifications modulo axioms 2023-07-28 Paper Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT 2023-07-28...10 bytes (15 words) - 10:55, 11 December 2023
- basic narrowing modulo 2020-05-13 Paper On asymmetric unification for the theory of XOR with a homomorphism 2020-05-13 Paper Unification modulo lists with reverse...10 bytes (13 words) - 10:53, 8 December 2023
- 2003-01-14 Paper ELAN from a rewriting logic point of view 2002-08-13 Paper The rewriting calculus. II 2002-06-06 Paper The rewriting calculus. I 2002-06-06...10 bytes (15 words) - 10:45, 7 October 2023
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude 2015-09-14 Paper Conditional Narrowing Modulo in Rewriting Logic and Maude 2015-09-09 Paper...10 bytes (17 words) - 23:46, 12 December 2023
- symbolic derivations 2012-07-17 Paper Unification modulo homomorphic encryption 2012-07-17 Paper Unification Modulo Chaining 2012-06-08 Paper Combining Satisfiability...10 bytes (13 words) - 22:01, 11 December 2023
- functional programs 2013-08-27 Paper Lazy rewriting and context-sensitive rewriting 2013-07-24 Paper SAT modulo linear arithmetic for solving polynomial...10 bytes (15 words) - 06:17, 7 October 2023
- Symbolic Specialization of Rewriting Logic Theories with Presto 2023-12-12 Paper Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity...10 bytes (15 words) - 01:26, 12 December 2023
- Paper Open problems in rewriting 2022-12-09 Paper More problems in rewriting 2022-12-09 Paper Problems in rewriting III 2022-12-09 Paper A recursive path...10 bytes (15 words) - 10:03, 6 October 2023
- Symbolic Specialization of Rewriting Logic Theories with Presto 2023-12-12 Paper Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity...10 bytes (13 words) - 01:46, 12 December 2023
- strategies 2015-09-17 Paper Rewriting Strategies and Strategic Rewrite Programs 2015-09-14 Paper REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL...10 bytes (15 words) - 07:52, 6 October 2023
- classes of finite string-rewriting systems 1989-01-01 Paper On deciding confluence of finite string-rewriting systems modulo partial commutativity 1989-01-01...10 bytes (13 words) - 14:00, 10 December 2023
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude 2015-09-14 Paper Conditional Narrowing Modulo in Rewriting Logic and Maude 2015-09-09 Paper...10 bytes (13 words) - 12:01, 7 October 2023
- arrays 2012-05-16 Paper Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. 2012-04-24 Paper A Combination of Rewriting and Constraint Solving...10 bytes (13 words) - 12:56, 24 September 2023
- Paper String Diagram Rewriting Modulo Commutative (Co)monoid Structure 2022-04-08 Paper String Diagram Rewrite Theory I: Rewriting with Frobenius Structure...10 bytes (13 words) - 06:03, 7 October 2023
- 2022-12-09 Paper Open problems in rewriting 2022-12-09 Paper More problems in rewriting 2022-12-09 Paper Problems in rewriting III 2022-12-09 Paper Trees, ordinals...10 bytes (15 words) - 03:11, 9 December 2023
