%0 Conference Paper %1 conf/banff/HirshfeldM95 %A Hirshfeld, Yoram %A Moller, Faron %B Banff Higher Order Workshop %D 1995 %E Moller, Faron %E Birtwistle, Graham M. %I Springer %K dblp %P 102-148 %T Decidability Results in Automata and Process Theory. %U http://dblp.uni-trier.de/db/conf/banff/banff1995.html#HirshfeldM95 %V 1043 %@ 3-540-60915-6

@inproceedings{conf/banff/HirshfeldM95, added-at = {2019-06-02T00:00:00.000+0200}, author = {Hirshfeld, Yoram and Moller, Faron}, biburl = {https://www.bibsonomy.org/bibtex/23e86e605820b719e21155045836446a9/dblp}, booktitle = {Banff Higher Order Workshop}, crossref = {conf/banff/1995}, editor = {Moller, Faron and Birtwistle, Graham M.}, ee = {https://www.wikidata.org/entity/Q59557000}, interhash = {1fa7bc91aed24f9ea0bff00da0a4ed9a}, intrahash = {3e86e605820b719e21155045836446a9}, isbn = {3-540-60915-6}, keywords = {dblp}, pages = {102-148}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:52:11.000+0200}, title = {Decidability Results in Automata and Process Theory.}, url = {http://dblp.uni-trier.de/db/conf/banff/banff1995.html#HirshfeldM95}, volume = 1043, year = 1995 }