scientific article; zbMATH DE number 7559871
From MaRDI portal
Publication:5089547
DOI10.4230/LIPIcs.FSCD.2022.0zbMath1491.68017MaRDI QIDQ5089547
No author found.
Publication date: 19 July 2022
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2022/16280/pdf/lipics-vol228-fscd2022-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) Logic in computer science (03B70) Theory of computing (68Qxx)
Related Items (6)
An Analytic Propositional Proof System on Graphs ⋮ Nominal AC-matching ⋮ Distributing and parallelizing non-canonical loops ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ Galois connecting call-by-value and call-by-name ⋮ Quantitative global memory
This page was built for publication:
