@article{Cook/85, AUTHOR = {Cook, S.A.}, TITLE = {A taxonomy of problems with fast parallel algorithms}, JOURNAL = {Inf.~Control}, VOLUME = {64}, NUMBER = {1-3}, PAGES = {2-22}, YEAR = {1985}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Reischuk/85a, AUTHOR = {Reischuk, R.}, TITLE = {A new solution for the Byzantine generals problem}, JOURNAL = {Inf.~Control}, VOLUME = {64}, NUMBER = {1-3}, PAGES = {23-42}, YEAR = {1985}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Furst-Lipton-Stockmeyer/85, AUTHOR = {Furst, M. and Lipton, R. and Stockmeyer, L.}, TITLE = {Pseudorandom number generation and space complexity}, JOURNAL = {Inf.~Control}, VOLUME = {64}, NUMBER = {1-3}, PAGES = {43-51}, YEAR = {1985}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Hertel-Mehlhorn/85, AUTHOR = {Hertel, S. and Mehlhorn, K.}, TITLE = {Fast triangulation of the plane with respect to simple polygons}, JOURNAL = {Inf.~Control}, VOLUME = {64}, NUMBER = {1-3}, PAGES = {52-76}, YEAR = {1985}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Chazelle/85, AUTHOR = {Chazelle, B.}, TITLE = {How to search in history}, JOURNAL = {Inf.~Control}, VOLUME = {64}, NUMBER = {1-3}, PAGES = {77-99}, YEAR = {1985}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Ukkonen/85b, AUTHOR = {Ukkonen, E.}, TITLE = {Algorithms for approximate string matching}, JOURNAL = {Inf.~Control}, VOLUME = {64}, NUMBER = {1-3}, PAGES = {100-118}, YEAR = {1985}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Harel-Sherman/85, AUTHOR = {Harel, D. and Sherman, R.}, TITLE = {Propositional dynamic logic of flowcharts}, JOURNAL = {Inf.~Control}, VOLUME = {64}, NUMBER = {1-3}, PAGES = {119-135}, YEAR = {1985}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{de_Nicola/85, AUTHOR = {de Nicola, R.}, TITLE = {Two complete axiom systems for a theory of communicating sequential processes}, JOURNAL = {Inf.~Control}, VOLUME = {64}, NUMBER = {1-3}, PAGES = {136-172}, YEAR = {1985}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, }