Search alternatives:
"thomason theorem" » "thompson theorem", "thomas theorem", "thomson's theorem"
Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- The Goldblatt-Thomason Theorem for Coalgebras -- Specification-Based Testing for CoCasl’s Modal Specifications...”