Computation on Structures - Behavioural Theory, Logic, Complexity.
Klaus-Dieter SchewePublished in: Logic, Computation and Rigorous Methods (2021)
Keyphrases
- formal theory
- computer algebra
- set theory
- proof theory
- linear algebra
- deductive reasoning
- logical framework
- probability theory
- worst case
- theoretical framework
- multi valued
- computational model
- classical logic
- boolean algebra
- modal logic
- computational complexity
- commonsense reasoning
- computational cost
- data sets
- genetic algorithm
- artificial intelligence
- algebraic structure
- predicate logic
- general theory
- theoretical basis
- mathematical models