Rigid tree automata and applications (Q553317): 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.ic.2010.11.015
+Normal rank
@@ Property / OpenAlex ID @@
+W2094342038
@@ Property / OpenAlex ID: W2094342038 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484507
@@ Property / cites work: Q4484507 / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties and decision problems of dag automata
+Normal rank
@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank
@@ Property / cites work @@
+Equality and disequality constraints on direct subterms in tree automata
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly Pushdown Languages and Term Rewriting
@@ Property / cites work: Visibly Pushdown Languages and Term Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Tree automata with one memory set constraints and cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Security properties: two agents are sufficient
@@ Property / cites work: Security properties: two agents are sufficient / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly Tree Automata with Memory and Constraints
@@ Property / cites work: Visibly Tree Automata with Memory and Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for reduction properties solving
@@ Property / cites work: Automata for reduction properties solving / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol Verification Via Rigid/Flexible Resolution
+Normal rank
@@ Property / cites work @@
+Satisfiability of a Spatial Logic with Tree Variables
+Normal rank
@@ Property / cites work @@
+Tree Automata with Global Constraints
@@ Property / cites work: Tree Automata with Global Constraints / 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 @@
+Pushdown tree automata
@@ Property / cites work: Pushdown tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Tree automata with equality constraints modulo equational theories
+Normal rank
@@ Property / cites work @@
+Deterministic tree pushdown automata and monadic tree rewriting systems
+Normal rank
@@ Property / cites work @@
+Haskell overloading is DEXPTIME-complete
@@ Property / cites work: Haskell overloading is DEXPTIME-complete / rank @@
+Normal rank