scientific article
From MaRDI portal
Publication:2762494
zbMath0976.68093MaRDI QIDQ2762494
Publication date: 9 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2010/20100027
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Unnamed Item ⋮ Completeness and the finite model property for Kleene algebra, reconsidered ⋮ Completions of \(\mu \)-algebras ⋮ A Decision Procedure for Bisimilarity of Generalized Regular Expressions
This page was built for publication:
