1 |
Infinite automata and Mazurkiewicz traces ; Automates infinis et traces de Mazurkiewicz
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03150688 ; Automatique. Université de la Réunion, 2020. Français. ⟨NNT : 2020LARE0022⟩ (2020)
|
|
BASE
|
|
Show details
|
|
2 |
Boolean Algebras from Trace Automata
|
|
|
|
In: Leibniz International Proceedings in Informatics (LIPIcs) ; 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) ; https://hal.univ-reunion.fr/hal-03009734 ; 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Dec 2019, Bombay, India. pp.48:1-48:15, ⟨10.4230/LIPIcs.FSTTCS.2019.48⟩ (2019)
|
|
BASE
|
|
Show details
|
|
3 |
Boolean Algebras from Trace Automata
|
|
Mansard, Alexandre. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. : LIPIcs - Leibniz International Proceedings in Informatics. 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), 2019
|
|
BASE
|
|
Show details
|
|
4 |
Boolean Algebras from Trace Automata ...
|
|
Mansard, Alexandre. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2019
|
|
BASE
|
|
Show details
|
|
|
|