scientific article; zbMATH DE number 7189131
From MaRDI portal
Publication:4960258
DOI10.4230/LIPICS.CALCO.2019.0zbMath1433.68034MaRDI QIDQ4960258
No author found.
Publication date: 14 April 2020
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol139-calco2019-complete.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)
Related Items (3)
Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ A metalanguage for guarded iteration ⋮ Non-well-founded deduction for induction and coinduction
This page was built for publication:
