scientific article; zbMATH DE number 7750602

DOI10.4204/eptcs.376zbMath1522.68039arXiv2303.12680MaRDI QIDQ6049244

No author found.

Publication date: 17 October 2023

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

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

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

Mathematics Subject Classification ID

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

This page was built for publication: