×

zbMATH — the first resource for mathematics

Found 3,192 Documents (Results 1–3)

Urabe, Natsuki; Hasuo, Ichiro
Categorical Büchi and parity conditions via alternating fixed points of functors. (English) Zbl 06962939
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 (ISBN 978-3-030-00388-3/pbk; 978-3-030-00389-0/ebook). Lecture Notes in Computer Science 11202, 214-234 (2018).
MSC:  68Q65
BibTeX Cite
{\it N. Urabe} and {\it I. Hasuo}, Lect. Notes Comput. Sci. 11202, 214--234 (2018; Zbl 06962939)
Full Text: DOI
WorldCat.org
Sprunger, David; Katsumata, Shin-ya; Dubut, Jérémy; Hasuo, Ichiro
Fibrational bisimulations and quantitative reasoning. (English) Zbl 06962938
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 (ISBN 978-3-030-00388-3/pbk; 978-3-030-00389-0/ebook). Lecture Notes in Computer Science 11202, 190-213 (2018).
MSC:  68Q65
BibTeX Cite
{\it D. Sprunger} et al., Lect. Notes Comput. Sci. 11202, 190--213 (2018; Zbl 06962938)
Full Text: DOI
WorldCat.org
Pavlovic, Dusko; Yahia, Muzamil
Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract). (English) Zbl 06962937
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 (ISBN 978-3-030-00388-3/pbk; 978-3-030-00389-0/ebook). Lecture Notes in Computer Science 11202, 167-189 (2018).
MSC:  68Q65
BibTeX Cite
{\it D. Pavlovic} and {\it M. Yahia}, Lect. Notes Comput. Sci. 11202, 167--189 (2018; Zbl 06962937)
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Journal
Year of Publication
Classification
Biographic Reference
Software