Normal forms and normal theories in conditional rewriting (Q730473): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2015.06.001
@@ Property / DOI: 10.1016/j.jlamp.2015.06.001 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2015.06.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1140833825
@@ Property / OpenAlex ID: W1140833825 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Proving operational termination of membership equational programs
+Normal rank
@@ Property / cites work @@
+Termination Modulo Combinations of Equational Theories
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+On the Completeness of Context-Sensitive Order-Sorted Specifications
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules
@@ Property / cites work: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Strong and Weak Operational Termination of Order-Sorted Rewrite Theories
+Normal rank
@@ Property / cites work @@
+Localized Operational Termination in General Logics
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-Sorted Rewriting and Congruence Closure
@@ Property / cites work: Order-Sorted Rewriting and Congruence Closure / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Modulo SMT and Open System Analysis
@@ Property / cites work: Rewriting Modulo SMT and Open System Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Language Prototyping: An Algebraic Specification Approach
+Normal rank
@@ Property / cites work @@
+Logicality of conditional rewrite systems
@@ Property / cites work: Logicality of conditional rewrite systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2015.06.001
@@ Property / DOI: 10.1016/J.JLAMP.2015.06.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:730473