Proceedings 13th International Workshop on Developments in Computational Models

Sandra Alves,Ian Mackie
DOI: https://doi.org/10.4204/EPTCS.408
2024-09-28
Abstract:This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th International Conference on Formal Structures for Computation and Deduction. The aim of this workshop is to bring together researchers who are currently developing new computation models or new features for traditional computation models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.
Logic in Computer Science,Programming Languages,Symbolic Computation
What problem does this paper attempt to address?