%0 Conference Paper %1 conf/popl/BackMR83 %A Back, Ralph-Johan %A Mannila, Heikki %A Räihä, Kari-Jouko %B POPL %D 1983 %E Wright, John R. %E Landweber, Larry %E Demers, Alan J. %E Teitelbaum, Tim %I ACM Press %K dblp %P 20-27 %T Derivation of Efficient DAG Marking Algorithms. %U http://dblp.uni-trier.de/db/conf/popl/popl83.html#BackMR83 %@ 0-89791-090-7

@inproceedings{conf/popl/BackMR83, added-at = {2018-11-06T00:00:00.000+0100}, author = {Back, Ralph-Johan and Mannila, Heikki and Räihä, Kari-Jouko}, biburl = {https://www.bibsonomy.org/bibtex/259b5cfafd19ed425ca882a608b022da8/dblp}, booktitle = {POPL}, crossref = {conf/popl/1983}, editor = {Wright, John R. and Landweber, Larry and Demers, Alan J. and Teitelbaum, Tim}, ee = {https://doi.org/10.1145/567067.567071}, interhash = {e1463b4a2378772c882ff726734573da}, intrahash = {59b5cfafd19ed425ca882a608b022da8}, isbn = {0-89791-090-7}, keywords = {dblp}, pages = {20-27}, publisher = {ACM Press}, timestamp = {2018-11-07T15:43:41.000+0100}, title = {Derivation of Efficient DAG Marking Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl83.html#BackMR83}, year = 1983 }