Scalar and Vectorial mu-calculus with Atoms.

Bartek Klin Mateusz Lelyk

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

Keyphrases

logic programs
vector valued
linear combination
artificial intelligence
answer sets
computer algebra
scalar field
formal language
database
real time
data mining
data structure