scientific article; zbMATH DE number 7189131

DOI10.4230/LIPICS.CALCO.2019.0MaRDI QIDQ4960258zbMATH OpenFDO

Authors

Publication date 14 April 2020

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol139-calco2019-complete.pdf

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)

Cited in

(7)

• Non-well-founded deduction for induction and coinduction
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• scientific article; zbMATH DE number 7489396 (Why is no real title available?)
• A metalanguage for guarded iteration
• Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 -- September 2, 2011. Proceedings
• Transforming concurrent programs with semaphores into logically constrained term rewrite systems
• Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7--10, 2009. Proceedings

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4960258)