Foundations of Software Science and Computational Structures
type: Item
instance of: scholarly article
title: Foundations of Software Science and Computational Structures
zbMATH Open document ID: 1119.03021
author: Marcello M. Bonsangue
author: Alexander Kurz
published in: Lecture Notes in Computer Science
publication date: 2005-11-10T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 2227639
zbMATH Keywords: transition systems
zbMATH Keywords: coalgebras
zbMATH Keywords: Stone duality
zbMATH Keywords: topological dualities
zbMATH Keywords: modal logic
MaRDI profile type: MaRDI publication profile
full work available at URL: b106850
OpenAlex ID: W1588712707
DOI: 10.1007/B106850
Recommended article: Foundations of Software Science and Computation Structures
Recommended article: Modalities in the Stone age: a comparison of coalgebraic logics
Recommended article: Equational coalgebraic logic
Recommended article: Stone coalgebras
description: scientific article; zbMATH DE number 2227639