Sign in
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus.
Yoshinori Tanabe
Toshifusa Sekizawa
Yoshifumi Yuasa
Koichi Takahashi
Published in:
IEICE Trans. Inf. Syst. (2009)
Keyphrases
</>
sufficient conditions
neural network
modal logic
machine learning
data mining
data structure
search algorithm
real numbers
database
genetic algorithm
computer vision
information systems
decision making
optimal solution
algebraic structure