Saturated Kripke Structures as Vietoris Coalgebras

From MaRDI portal

Publication:6391247

Jump to:navigation, search

DOI10.1007/978-3-031-10736-8_5arXiv2202.07786MaRDI QIDQ6391247

H. Peter Gumm, Mona Taheri

Publication date: 15 February 2022

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: Saturated Kripke Structures as Vietoris Coalgebras

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6391247&oldid=36039259"