scientific article; zbMATH DE number 7189136

DOI10.4230/LIPICS.CSL.2020.0MaRDI QIDQ4960263zbMATH OpenFDO

Authors

Publication date 14 April 2020

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70)

Cited in

(4)

• scientific article; zbMATH DE number 6988090 (Why is no real title available?)
• scientific article; zbMATH DE number 6789949 (Why is no real title available?)
• scientific article; zbMATH DE number 7663119 (Why is no real title available?)
• 25th EACSL annual conference and 30th workshop on computer science logic, CSL'16, Marseille, France, August 29 -- September 1, 2016. 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 Q4960263)