×

Found 18 Documents (Results 1–18)

100
MathJax

A coalgebraic view of bar recursion and bar induction. (English) Zbl 1474.03105

Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 91-106 (2016).
MSC:  03D65 03B70
PDF BibTeX XML Cite
Full Text: DOI Link

A note on coalgebras and presheaves. (English) Zbl 1270.68198

Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 358-364 (2002).
MSC:  68Q65 03G30 18F20
PDF BibTeX XML Cite
Full Text: DOI

A syntactical approach to weak (bi-)simulation for coalgebras. (English) Zbl 1270.68223

Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 270-285 (2002).
MSC:  68Q85 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Definability, canonical models, compactness for finitary coalgebraic modal logic. (English) Zbl 1270.03143

Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 135-155 (2002).
MSC:  03G30 03B45
PDF BibTeX XML Cite
Full Text: DOI

Comprehension for coalgebras. (English) Zbl 1270.18015

Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 112-134 (2002).
PDF BibTeX XML Cite
Full Text: DOI

Modal languages for coalgebras in a topological setting. (English) Zbl 1260.68245

Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 271-284 (2001).
MSC:  68Q65 03B45 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Modal rules are co-implications. (English) Zbl 1260.68243

Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 241-253 (2001).
MSC:  68Q65 03B45
PDF BibTeX XML Cite
Full Text: DOI

Modal operators for coequations. (English) Zbl 1260.68241

Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 205-226 (2001).
MSC:  68Q65 08C05 18C05
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

all top 3

Software