Scalar and Vectorial mu-calculus with Atoms.

Bartek Klin Mateusz Lelyk

Published in: CoRR (2018)

Keyphrases

vector valued
logic programs
algebraic structure
development environment
linear combination
real time
answer sets
case study
machine learning
search algorithm
information systems
real world
data sets
formal language
automated theorem proving
database
computer algebra