Theorem-proving anonymity of infinite-state systems

Autor:	Hideki Sakurada, Yasuyuki Tsukada, Ken Mano, Yoshinobu Kawabe
Rok vydání:	2007
Předmět:	business.industry Information processing State (functional analysis) Formal methods Computer Science Applications Theoretical Computer Science Automated theorem proving Signal Processing Calculus Artificial intelligence business Information Systems Mathematics Anonymity
Zdroj:	Information Processing Letters. 101:46-51
ISSN:	0020-0190
DOI:	10.1016/j.ipl.2006.06.016
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0328fb695fea8c1df2ea6f40a9aa0fff https://doi.org/10.1016/j.ipl.2006.06.016 Zobrazit plný text záznamu Full Text from ScienceDirect