First-Order Terms.

Christian Sternagel René Thiemann

Published in: Arch. Formal Proofs (2018)

Keyphrases

co occurrence
real time
data mining
data structure
evolutionary algorithm
xml documents
description logics
stochastic dominance