Publication Date:
2021
Short description:
SOS Rules for Equivalences of Reaction Systems / Brodo, L., Bruni, R., Falaschi, M.. - 12560 LNCS:(2021), pp. 3-21. [10.1007/978-3-030-75333-7_1]
Iris type:
2.1 Contributo in volume (Capitolo o Saggio)
List of contributors:
Brodo, L.; Bruni, R.; Falaschi, M.
Book title:
Functional and Constraint Logic Programming