@inproceedings{97752cff1af14f4488aa8b4025f8b79d,
title = "A decision procedure for the equivalence of two dpdas one of which is linear",
author = "Yair Itzhaik and Amiram Yehudai",
year = "1981",
doi = "10.1007/3-540-10843-2_19",
language = "אנגלית",
isbn = "9783540108436",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "229--237",
editor = "Shimon Even and Oded Kariv",
booktitle = "Automata, Languages and Programming - 8th Colloquium",
note = "8th International Colloquium on Automata, Languages and Programming, ICALP 1981 ; Conference date: 13-07-1981 Through 17-07-1981",
}