Nominal Kleene Coalgebra.

Dexter Kozen Konstantinos Mamouras Daniela Petrisan Alexandra Silva

Published in: ICALP (2) (2015)

Keyphrases

propositional logic
regular expressions
information retrieval
neural network
real world
genetic algorithm
artificial intelligence
multi class