Keyphrases
- computer algebra
- propositional dynamic logic
- algebraic structure
- logic programming
- mathematical theory
- low level
- computational properties
- linear algebra
- high level
- modal logic
- real time
- image processing
- formal theory
- asynchronous circuits
- higher level
- multiscale
- defeasible logic
- digital circuits
- dynamic logic
- genetic algorithm
- proof theory
- machine learning
- algebraic geometry
- databases