Kleene Theorem in Partial Conway Theories with Applications.

Zoltán Ésik Tamás Hajgató

Published in: Algebraic Foundations in Computer Science (2011)

Keyphrases

pilot study
theoretical framework
propositional logic
regular expressions
cognitive psychology
von neumann
real time
databases
decision making
multimedia
neural network
similarity measure
probabilistic model
formal models
underlying assumptions