scientific article; zbMATH DE number 1086721
From MaRDI portal
Publication:4362971
zbMath0887.68069MaRDI QIDQ4362971
Publication date: 13 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Coinductive predicates and final sequences in a fibration ⋮ Structural induction and coinduction in a fibrational setting ⋮ Coinductive predicates and final sequences in a fibration ⋮ Greatest Bisimulations for Binary Methods
Uses Software
This page was built for publication:
