Preface

DOI10.1016/J.TCS.2024.114716MaRDI QIDQ6589856zbMATH OpenFDO

Authors

Publication date 20 August 2024

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2024.114716

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx)

Recommendations

• Editorial: The Italian conference on theoretical computer science
• Preface
• Preface
• Preface. From models to languages
• scientific article; zbMATH DE number 1355626

Cites work

• A Java-like calculus with heterogeneous coeffects
• Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems
• Checking equivalence of corecursive streams: an inductive procedure
• Incremental NFA minimization
• On the parameterized complexity of s-club cluster deletion problems
• Quantum clustering with \(k\)-means: a hybrid approach
• Untangling temporal graphs of bounded degree

This page was built for publication: Preface

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6589856)