Translating specifications from nominal logic to CIC with the theory of contexts.
Marino MiculanIvan ScagnettoFurio HonsellPublished in: MERLIN (2005)
Keyphrases
- delay insensitive
- formal theory
- asynchronous circuits
- theoretical basis
- specification language
- formal descriptions
- proof theory
- case study
- boolean algebra
- mathematical theory
- set theory
- logic programming
- theoretical framework
- linear logic
- computational model
- computer algebra
- neural network
- propositional theories
- proof theoretic
- bounded model checking
- transition systems
- formal logic
- algebraic structure
- probability theory
- commonsense reasoning
- modal operators
- social context
- formal language
- defeasible logic