scientific article
From MaRDI portal
Publication:2771053
zbMath0986.68018MaRDI QIDQ2771053
Rolf Hennicker, Michel Bidoit, Alexander Kurz
Publication date: 14 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Varieties and covarieties of languages (extended abstract) ⋮ Observational logic, constructor-based logic, and their duality. ⋮ Minimality Notions via Factorization Systems and Examples ⋮ Constructor-based observational logic ⋮ Algebra-coalgebra duality in brzozowski's minimization algorithm ⋮ Towards Behavioral Maude
