Confluence of orthogonal term rewriting systems in the prototype verification system (Q2362205): Difference between revisions

@@ 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.1007/s10817-016-9376-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2414463669
@@ Property / OpenAlex ID: W2414463669 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order unification in the PVS proof assistant
+Normal rank
@@ Property / cites work @@
+Q3497624
@@ Property / cites work: Q3497624 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking overlaps of nominal rewriting rules
@@ Property / cites work: Checking overlaps of nominal rewriting rules / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+A formalization of the Knuth-Bendix(-Huet) critical pair theorem
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q4992400
@@ Property / cites work: Q4992400 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Confluence of orthogonal nominal rewriting systems revisited
+Normal rank
@@ Property / cites work @@
+Parallel reductions in \(\lambda\)-calculus
@@ Property / cites work: Parallel reductions in \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Bounded Increase
@@ Property / cites work: Formalizing Bounded Increase / rank @@
+Normal rank
@@ Property / cites work @@
+Developing developments
@@ Property / cites work: Developing developments / rank @@
+Normal rank