scientific article; zbMATH DE number 2043529

zbMath1038.03047MaRDI QIDQ4447233

Kumar Neeraj Verma

Publication date: 16 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060180.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

alternationequational theoriesemptinesstwo-way tree automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

Related Items (5)

Alternating two-way AC-tree automata ⋮ Tree automata with equality constraints modulo equational theories ⋮ Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically ⋮ Multitree automata that count ⋮ Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case

This page was built for publication: