scientific article; zbMATH DE number 810100
From MaRDI portal
Publication:4853312
zbMath0831.68064MaRDI QIDQ4853312
Publication date: 13 February 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Categories of machines, automata (18B20)
Related Items (4)
Van Kampen Colimits as Bicolimits in Span ⋮ Decomposing typed lambda calculus into a couple of categorical programming languages ⋮ Mongruences and cofree coalgebras ⋮ Structural induction and coinduction in a fibrational setting
This page was built for publication:
