The Equivalence Problem for Real-Time Strict Deterministic Languages

Michio Oyamaguchi Namio Honda

Published in: Inf. Control. (1980)

Keyphrases

real time
expressive power
high speed
cross lingual
language independent
database languages
databases
information systems
reinforcement learning
knowledge representation
rough sets
low cost