×

Found 13 Documents (Results 1–13)

Coalgebraic logics & duality. (English) Zbl 1520.03017

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 6-12 (2018).
MSC:  03G30 03B45
PDFBibTeX XMLCite
Full Text: DOI HAL

Coalgebraic completeness-via-canonicity. Principles and applications. (English) Zbl 1476.03089

Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 174-194 (2016).
MSC:  03G30 18A15
PDFBibTeX XMLCite
Full Text: DOI

On a categorical framework for coalgebraic modal logic. (English) Zbl 1337.03091

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 109-128, electronic only (2014).
MSC:  03G30 03B45
PDFBibTeX XMLCite
Full Text: DOI

Coalgebraic trace semantics for combined possibilitistic and probabilistic systems. (English) Zbl 1279.68232

Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 131-152 (2008).
MSC:  68Q65 18C10
PDFBibTeX XMLCite
Full Text: DOI

Modular games for coalgebraic fixed point logics. (English) Zbl 1279.03056

Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 71-92 (2008).
MSC:  03B70 03B45 91A43
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software