Login / Signup
Indexed and fibered structures for partial and total correctness assertions.
Uwe Wolter
Alfio Ricardo de Brito Martini
Edward Hermann Haeusler
Published in:
Math. Struct. Comput. Sci. (2022)
Keyphrases
</>
databases
knowledge base
database systems
database
artificial intelligence
information systems
high level
wide range