Autor:	Laura Bussi, Fabio Gadducci, Francesco Santini
Jazyk:	angličtina
Rok vydání:	2022
Předmět:	bisimulation equivalences residuated monoids local variables Soft concurrent constraint programming
Zdroj:	Lecture Notes in Computer Science ISBN: 9783031081453
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82e6d00e2bcfe7faa74ca49843ccf048 http://hdl.handle.net/11391/1530876 Zobrazit plný text záznamu