IGNACIO
FÁBREGAS ALFARO
Profesor contratado doctor
YOLANDA
ORTEGA MALLÉN
Ikertzailea 2022-(e)ra arte
YOLANDA ORTEGA MALLÉN-rekin lankidetzan egindako argitalpenak (2)
2019
-
Rule formats for nominal process calculi
Logical Methods in Computer Science, Vol. 15, Núm. 4
2017
-
Rule formats for nominal process calculi
Leibniz International Proceedings in Informatics, LIPIcs