scientific article; zbMATH DE number 1101595
From MaRDI portal
Publication:4371017
zbMath0895.68085MaRDI QIDQ4371017
Javier Esparza, Peter Rossmanith
Publication date: 20 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A complete refinement procedure for regular separability of context-free languages ⋮ The complexity of bisimilarity-checking for one-counter processes. ⋮ An efficient automata approach to some problems on context-free grammars.
This page was built for publication: