scientific article; zbMATH DE number 2043549

zbMath1038.68070MaRDI QIDQ4447253

Toshinori Takai, Hitoshi Ohsaki, Hiroyuki Seki

Publication date: 16 February 2004

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items (5)

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols ⋮ One-variable context-free hedge automata ⋮ Tree Automata for Non-linear Arithmetic ⋮ Generalized rewrite theories, coherence completion, and symbolic methods ⋮ Narrowing and Rewriting Logic: from Foundations to Applications

This page was built for publication: