scientific article; zbMATH DE number 1512609
From MaRDI portal
Publication:4508292
zbMath0965.68031MaRDI QIDQ4508292
Publication date: 17 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
On the transition graphs of Turing machines. ⋮ Tree automata for rewrite strategies ⋮ An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems ⋮ Regular Model Checking using Widening Techniques ⋮ Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order ⋮ Decidable first-order transition logics for PA-processes
This page was built for publication:
