Tree automata with equality constraints modulo equational theories (Q2426520): 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.1016/j.jlap.2007.10.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1967865708
@@ Property / OpenAlex ID: W1967865708 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Basic paramodulation
@@ Property / cites work: Basic paramodulation / rank @@
+Normal rank
@@ Property / cites work @@
+Equality and disequality constraints on direct subterms in tree automata
+Normal rank
@@ Property / cites work @@
+Pumping, cleaning and symbolic constraints solving
+Normal rank
@@ Property / cites work @@
+Automata for reduction properties solving
@@ Property / cites work: Automata for reduction properties solving / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723425
@@ Property / cites work: Q2723425 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding \(\mathcal H_1\) by resolution
@@ Property / cites work: Deciding \(\mathcal H_1\) by resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838762
@@ Property / cites work: Q3838762 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree automata with equality constraints modulo equational theories
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848034
@@ Property / cites work: Q2848034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411948
@@ Property / cites work: Q4411948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808742
@@ Property / cites work: Q4808742 / rank @@
+Normal rank
@@ Property / cites work @@
+Haskell overloading is DEXPTIME-complete
@@ Property / cites work: Haskell overloading is DEXPTIME-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808741
@@ Property / cites work: Q4808741 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447233
@@ Property / cites work: Q4447233 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2426520