Kleene theorem 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
Kleene theorem for higher-dimensional automata
Abstract
Authors
Uli Fahrenberg
,
Christian Johansen
,
Georg Struth
,
Krzysztof Ziemiański
Where
Logical Methods in Computer Science
Place
Paper
fahrenberg.24.lmcs.pdf
Date
2024-12-01
Copyright (c) 2022, LRE; all rights reserved.
Template by
Bootstrapious
. Ported to Hugo by
DevCows
.
