%0 Journal Article %1 journals/algorithmica/BoriePT92 %A Borie, Richard B. %A Parker, R. Gary %A Tovey, Craig A. %D 1992 %J Algorithmica %K dblp %N 5&6 %P 555-581 %T Automatic Generation of Linear-Time Algorithms from Predicate Calculus Descriptions of Problems on Recursively Constructed Graph Families. %U http://dblp.uni-trier.de/db/journals/algorithmica/algorithmica7.html#BoriePT92 %V 7

@article{journals/algorithmica/BoriePT92, added-at = {2011-05-18T00:00:00.000+0200}, author = {Borie, Richard B. and Parker, R. Gary and Tovey, Craig A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b884c16279f8f0986392f010da5774b2/dblp}, ee = {http://dx.doi.org/10.1007/BF01758777}, interhash = {244f66eab3669187ade12252e43eb0b9}, intrahash = {b884c16279f8f0986392f010da5774b2}, journal = {Algorithmica}, keywords = {dblp}, number = {5&6}, pages = {555-581}, timestamp = {2016-02-02T01:12:20.000+0100}, title = {Automatic Generation of Linear-Time Algorithms from Predicate Calculus Descriptions of Problems on Recursively Constructed Graph Families.}, url = {http://dblp.uni-trier.de/db/journals/algorithmica/algorithmica7.html#BoriePT92}, volume = 7, year = 1992 }