Login / Signup
A complete logic for behavioural equivalence in coalgebras of finitary set functors.
David Sprunger
Published in:
J. Log. Algebraic Methods Program. (2018)
Keyphrases
</>
lower bound
small number
propositional variables
artificial intelligence
programming language
data sets
databases
machine learning
logic programming