Login / Signup
A Note on the Equivalence Problem of Rational Formal Power Series.
Karel Culík II
Juhani Karhumäki
Published in:
Inf. Process. Lett. (1986)
Keyphrases
</>
power consumption
formal models
formal model
formal methods
decision making
evolutionary algorithm
bounded rationality
computational power
formal specification
np complete
data sets
bayesian networks
database systems
metadata
information systems
genetic algorithm
databases