Termination of \(\{aa\rightarrow bc,bb\rightarrow ac,cc\rightarrow ab\}\) (Q844184): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2005.12.011
@@ Property / DOI: 10.1016/j.ipl.2005.12.011 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / 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.ipl.2005.12.011
+Normal rank
@@ Property / OpenAlex ID @@
+W1529656135
@@ Property / OpenAlex ID: W1529656135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736359
@@ Property / cites work: Q2736359 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for semi-Thue systems with a few rules
+Normal rank
@@ Property / cites work @@
+Termination of context-sensitive rewriting
@@ Property / cites work: Termination of context-sensitive rewriting / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2005.12.011
@@ Property / DOI: 10.1016/J.IPL.2005.12.011 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:844184