scientific article; zbMATH DE number 7559871

DOI10.4230/LIPICS.FSCD.2022.0MaRDI QIDQ5089547zbMATH OpenFDO

Authors

Publication date 19 July 2022

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2022/16280/pdf/lipics-vol228-fscd2022-complete.pdf

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)

Recommendations

• scientific article; zbMATH DE number 7725598
• scientific article; zbMATH DE number 6789956
• scientific article; zbMATH DE number 6916553
• scientific article; zbMATH DE number 7370962
• scientific article; zbMATH DE number 7221273
• scientific article; zbMATH DE number 7087295
• Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
• 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22--26, 2016. Proceedings
• scientific article; zbMATH DE number 7573871
• scientific article; zbMATH DE number 7595807

Cited in

(9)

• An Analytic Propositional Proof System on Graphs
• scientific article; zbMATH DE number 7725598 (Why is no real title available?)
• 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
• Proving confluence in the confluence framework with confident
• Logical predicates in higher-order mathematical operational semantics

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 Q5089547)