Prazo para submissão: Prazo não encontrado na descrição inicial
Data de Notificação: 04/04/2025
Editora: Springer
Revista: Journal of Applied and Computational Topology
Link: https://link.springer.com/journal/41468/updates/23158246
Detalhes:
The last two decades have witnessed a fruitful interplay between certain qualitative ideas and methods from geometric and topological areas on one side and from aspects of theoretical computer science on the other. Simplicial and cubical models in distributed computing and in concurrency theory are amenable to investigations using methods from algebraic topology – with a twist! Similar developments have emerged with point of departure in logics and rewriting, often through the lens of higher cat...