C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Coalgebraic Semantics for Nominal Automata.
Florian Frank
Stefan Milius
Henning Urbat
Published in:
CMCS (2022)
Keyphrases
</>
logic programming
formal semantics
cellular automata
finite state
finite automata
data sets
semantic information
regular expressions
conceptual graphs
formal languages