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