Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Erik Wennstrom"'
Publikováno v:
Logic and Program Semantics ISBN: 9783642294846
Logic and Program Semantics
Logic and Program Semantics
This paper presents a sound and complete logical system whose atomic sentences are the equalities of recursive terms involving sets. There are two interpretations of this language: one makes use of non-wellfounded sets with finite transitive closure,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c76f1c9c1eec525432d3aeda0ae2bdf1
https://doi.org/10.1007/978-3-642-29485-3_12
https://doi.org/10.1007/978-3-642-29485-3_12
