![]() |
@article{DBLP:journals/iandc/OyamaguchiH80,
author = {Michio Oyamaguchi and
Namio Honda},
title = {The Equivalence Problem for Real-Time Strict Deterministic
Languages},
journal = {Information and Control},
volume = {45},
number = {1},
year = {1980},
pages = {90-115},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-04-25 by Michael Ley (ley@uni-trier.de)