A linear logic approach to consistency preserving updates

Autor:	Serenella Cerrito, Christine Froidevaux, Nicole Bidoit
Rok vydání:	1996
Předmět:	Theoretical computer science Arts and Humanities (miscellaneous) Linear temporal logic Logic Hardware and Architecture Computer science Consistency (statistics) Multimodal logic Bunched logic Algorithm Software Linear logic Theoretical Computer Science
Zdroj:	Journal of Logic and Computation. 6:439-463
ISSN:	1465-363X 0955-792X
DOI:	10.1093/logcom/6.3.439
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3dcf58da39cb881d4cf61c5713c2698b https://doi.org/10.1093/logcom/6.3.439 Zobrazit plný text záznamu