-calculus as a modal calculus.

José Espírito Santo Luís Pinto Tarmo Uustalu

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

automated deduction
transition systems
modal logic
algebraic structure
databases
data mining
machine learning
genetic algorithm
clustering algorithm
natural language
evolutionary algorithm
formal language
provably correct
computer algebra