Bisimulations and logics for higher-dimensional automata - go to homepage
Toggle Navigation
Home
News
Publications
Seminars
Seminars of the Artificial Intelligence group
Seminars of the Automata group
Seminars of the Image processing and pattern recognition group
Seminars of the Security and Systems group
Groups
Artificial intelligence
Automata and applications
Digital methods for humanities and social sciences
Image processing and pattern recognition
Security and systems
Projects
Axes
Machine learning and applications
Robotics
Software and performance
People
Bisimulations and logics for higher-dimensional automata
Abstract
Authors
Safa Zouari
,
Krzysztof Ziemiański
,
Uli Fahrenberg
Where
Theoretical aspects of computing - ICTAC 2024 - 21st international colloquium, bangkok, thailand, november 25-29, 2024, proceedings
Place
Paper
zouari.24.ictac.pdf
Date
2024-12-01
Copyright (c) 2022, LRE; all rights reserved.
Template by
Bootstrapious
. Ported to Hugo by
DevCows
.
