A Generic Logic for Proving Linearizability.
Artem KhyzhaAlexey GotsmanMatthew J. ParkinsonPublished in: FM (2016)
Keyphrases
- logic programming
- predicate logic
- modal logic
- computational properties
- domain specific
- application specific
- proof theory
- classical logic
- multi valued
- information retrieval
- machine learning
- neural network
- logic programs
- evolutionary algorithm
- multiscale
- real time
- automated reasoning
- decision making
- probabilistic logic
- logical framework
- genetic algorithm
- defeasible logic
- formal theory
- asynchronous circuits