One-Dimensional Guarded Fragments.

Emanuel Kieronski

Published in: MFCS (2019)

Keyphrases

multi dimensional
fixed point
artificial intelligence
horizontal fragmentation
genetic algorithm
bayesian networks
model checking
querying xml data
mazurkiewicz traces