Two for the Price of One: Lifting Separation Logic Assertions
Jacob ThamsborgLars BirkedalHongseok YangPublished in: Log. Methods Comput. Sci. (2012)
Keyphrases
- wavelet transform
- classical logic
- logic programming
- knowledge base
- formal theory
- multi valued
- modal logic
- real world
- digital circuits
- multiresolution
- relational databases
- automated reasoning
- artificial intelligence
- probabilistic logic
- genetic algorithm
- computational properties
- machine learning
- predicate logic
- database
- asynchronous circuits
- delay insensitive