Bisimulations, model descriptions and propositinal quantifiers / A. Visser
mainEntity
Bisimulations, model descriptions and propositinal quantifiers / A. Visser
about
author
contributor
inLanguage
isbn
9039315043
mainEntityOfPage
name
Bisimulations, model descriptions and propositinal quantifiers
numberOfPages
publication
sameAs
label
Bisimulations, model descriptions and propositinal quantifiers / A. Visser