Publications
Deciding synchronous Kleene algebra with derivatives
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2015 | inproceedings
Publication
Year of publication: 2015
Volume : 9223
Pages : 49-62
Month :
CMUP publication : Yes