scientific article; zbMATH DE number 7199361

DOI10.4204/EPTCS.281zbMath1437.03008arXiv1810.05392MaRDI QIDQ5109459

No author found.

Publication date: 12 May 2020

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1810.05392

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

This page was built for publication: