Login / Signup
Compositional reasoning and decidable checking for dependent contract types.
Kenneth Knowles
Cormac Flanagan
Published in:
PLPV (2009)
Keyphrases
</>
consistency checking
reasoning process
knowledge base
knowledge representation
first order logic
reasoning systems
data sets
machine learning
artificial intelligence
database systems
multi agent
supply chain
expressive power
temporal logic
theorem proving
automated reasoning