On Tools for Completeness of Kleene Algebra with Hypotheses.

Damien Pous Jurriaan Rot Jana Wagemaker

Published in: Log. Methods Comput. Sci. (2024)

Keyphrases

data sets
information systems
user friendly
software tools
propositional logic
genetic algorithm
artificial intelligence
database systems
data structure
learning environment
end users
web technologies
design decisions