Comprehension for Coalgebras

Authors :: Jacobs, B.
Moss, L.
Moss, L.
Source :: Electronic Notes in Theoretical Computer Science ; 65.1. Amsterdam : Elsevier, Electronic Notes in Theoretical Computer Science ; 65.1, Moss, L. (ed.), CMCS'2002, Coalgebraic Methods in Computer Science (Satellite Event of ETAPS 2002) : Grenoble, France, 6–7 April 2002
Publication Year :: 2002
Abstract: Contains fulltext : 130354.pdf (Author’s version preprint ) (Closed access)

Subjects :: Electronic Notes in Theoretical Computer Science
Digital Security

Database :: OpenAIRE
Journal :: Electronic Notes in Theoretical Computer Science ; 65.1. Amsterdam : Elsevier, Electronic Notes in Theoretical Computer Science ; 65.1, Moss, L. (ed.), CMCS'2002, Coalgebraic Methods in Computer Science (Satellite Event of ETAPS 2002) : Grenoble, France, 6–7 April 2002
Accession number :: edsair.dedup.wf.001..ad5391de1067fcea5d64c126731011d5

Tools