Determinization of conditional term rewriting systems (Q1929232): Difference between revisions

@@ Property / describes a project that uses @@
+LRinv
@@ Property / describes a project that uses: LRinv / 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.tcs.2012.09.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2123848106
@@ Property / OpenAlex ID: W2123848106 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted completion: The many-sorted way
@@ Property / cites work: Order-sorted completion: The many-sorted way / rank @@
+Normal rank
@@ Property / cites work @@
+Operational termination of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Completeness results for basic narrowing
@@ Property / cites work: Completeness results for basic narrowing / rank @@
+Normal rank
@@ Property / cites work @@
+Program Inversion for Tail Recursive Functions
@@ Property / cites work: Program Inversion for Tail Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Partial Inversion of Inductively Sequential Functions
+Normal rank
@@ Property / cites work @@
+Verification of Erlang processes by dependency pairs
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Modularity of simple termination of term rewriting systems with shared constructors
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472880
@@ Property / cites work: Q5472880 / rank @@
+Normal rank
@@ Property / cites work @@
+Unravelings and ultra-properties
@@ Property / cites work: Unravelings and ultra-properties / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
+Normal rank
@@ Property / cites work @@
+On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Equivalence-preserving first-order unfold/fold transformation systems
+Normal rank
@@ Property / cites work @@
+Unfold⧸fold transformation of general logic programs for the well-founded semantics
+Normal rank
@@ Property / cites work @@
+BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
+Normal rank
@@ Property / cites work @@
+Constraint-based correctness proofs for logic program transformations
+Normal rank
@@ Property / cites work @@
+A transformation system for deductive database modules with perfect model semantics
+Normal rank
@@ Property / cites work @@
+Transformations of CLP modules
@@ Property / cites work: Transformations of CLP modules / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming constraint logic programs
@@ Property / cites work: Transforming constraint logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Program development in computational logic. A decade of research advances in logic-based program development.
+Normal rank
@@ Property / cites work @@
+Rules + strategies for transforming lazy functional logic programs
+Normal rank