@article{Coffman-Randell/72, AUTHOR = {Coffman, E.G., Jr. and Randell, B.}, TITLE = {Performance predictions for extended paged memories}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {1-13}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Knuth/71b, AUTHOR = {Knuth, D.E.}, TITLE = {Optimum binary search trees}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {14-25}, YEAR = {1971}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, NOTE = {see Corrigendum Acta Inf.~1, 270}, } @article{Turski/72, AUTHOR = {Turski, W.M.}, TITLE = {A model for data structures and its applications. I}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {26-34}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=26}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Wirth/71, AUTHOR = {Wirth, N.}, TITLE = {The programming language Pascal}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {35-63}, YEAR = {1971}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=35}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Claus/72, AUTHOR = {Claus, V.}, TITLE = {Ein Vollst{\"a}ndigkeitssatz f{\"u}r Programme und Schaltkreise}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {64-78}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=64}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Knuth/72, AUTHOR = {Knuth, Donald E.}, TITLE = {Top-down syntax analysis}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {79-110}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=79}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Langmaack/72, AUTHOR = {Langmaack, H.}, TITLE = {Application of regular canonical systems to grammars translatable from left to right}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {111-114}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=111}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Dijkstra/71, AUTHOR = {Dijkstra, E.W.}, TITLE = {Hierarchical ordering of sequential processes}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {115-138}, YEAR = {1971}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=115}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Schonhage/72, AUTHOR = {Sch{\"o}nhage, A.}, TITLE = {Schnelle Berechnung von Kettenbruchentwicklungen}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {139-144}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=139}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Hwang-Lin/72, AUTHOR = {Hwang, F.K. and Lin, S.}, TITLE = {Optimal merging of 2 elements with $n$ elements}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {145-158}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=145}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Perrin-Perrot/72, AUTHOR = {Perrin, D. and Perrot, J.-F.}, TITLE = {Congruences et automorphismes des automates finis}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {159-172}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=159}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Bayer-McCreight/72, AUTHOR = {Bayer, R. and McCreight, E.}, TITLE = {Organization of large ordered indexes}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {173-189}, YEAR = {1972}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=173}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Brinch_Hansen/72a, AUTHOR = {Brinch Hansen, Per}, TITLE = {A comparison of two synchronizing concepts}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {190-199}, YEAR = {1972}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=190}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Coffman-Graham/72, AUTHOR = {Coffman, E.G., Jr. and Graham, R.L.}, TITLE = {Optimal scheduling for two processor systems}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {200-213}, YEAR = {1972}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=200}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Clint-Hoare/72, AUTHOR = {Clint, M. and Hoare, C.A.R.}, TITLE = {Program proving: Jumps and functions}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {214-224}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=214}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Kaufholz/72, AUTHOR = {Kaufholz, G.}, TITLE = {Der programmierbare endliche Automat}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {225-241}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=225}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Rozenberg/72, AUTHOR = {Rozenberg, G.}, TITLE = {Direction controlled programmed grammars}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {242-252}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=242}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Walter/72, AUTHOR = {Walter, Hermann}, TITLE = {Inhibitionsfelder}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {253-270}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=253}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Hoare/72, AUTHOR = {Hoare, C.A.R.}, TITLE = {Proof of correctness of data representations}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {271-281}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=271}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Turski/72a, AUTHOR = {Turski, W.M.}, TITLE = {A model for data structures and its applications. (Part II)}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {282-289}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=282}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Bayer/72, AUTHOR = {Bayer, R.}, TITLE = {Symmetric binary B-trees: Data structure and maintenance algorithms}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {290-306}, YEAR = {1972}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=290}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Hu-Tan/72, AUTHOR = {Hu, T.C. and Tan, K.C.}, TITLE = {Least upper bound on the cost of optimum binary search trees}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {307-310}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=307}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{McKellar-Wong/72, AUTHOR = {McKellar, A.C. and Wong, C.K.}, TITLE = {Bounds on algorithms for string generation}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {311-319}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=311}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Strassen/72, AUTHOR = {Strassen, V.}, TITLE = {Berechnung und Programm. I}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {320-335}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=320}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Hartmanis/72, AUTHOR = {Hartmanis, J.}, TITLE = {On non-determinancy in simple computing devices}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {336-344}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=336}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Schnorr-Stimm/72, AUTHOR = {Schnorr, C.P. and Stimm, H.}, TITLE = {Endliche Automaten und Zufallsfolgen}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {345-359}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=345}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Schott/72, AUTHOR = {Schott, G.}, TITLE = {Automatic analysis of inflectional morphems in german nouns. An algorithm for automatic indexing}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {360-374}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=360}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Courtois-Heymans-Parnas/72, AUTHOR = {Courtois, P.J. and Heymans, F. and Parnas, D.L.}, TITLE = {Comments on ``A comparison of two synchronizing concepts by P.B. Hansen''}, JOURNAL = {Acta Inf.}, VOLUME = {1}, PAGES = {375-376}, YEAR = {1971/72}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=1&spage=375}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, }