@article{Dijkstra/80,
AUTHOR = {Dijkstra, E.W.},
TITLE = {Some beautiful arguments using mathematical induction},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {1},
PAGES = {1-8},
YEAR = {1980, January},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=1&spage=1},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Burroughs Corp., Nuenen, Netherlands},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Hoffmann/80a,
AUTHOR = {Hoffmann, C.M.},
TITLE = {Semantic properties of Lucid's compute clause and its compilation},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {1},
PAGES = {9-20},
YEAR = {1980, January},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=1&spage=9},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Purdue Univ., West-Lafayette, IN, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Heidelberger/80,
AUTHOR = {Heidelberger, P.},
TITLE = {Variance reduction techniques for the simulation of Markov process. II. Matrix iterative methods},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {1},
PAGES = {21-37},
YEAR = {1980, January},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=1&spage=21},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gonnet-George-Rogers/80,
AUTHOR = {Gonnet, G.H. and George, J.A. and Rogers, L.D.},
TITLE = {An algorithmic and complexity analysis of interpolation search},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {1},
PAGES = {39-52},
YEAR = {1980, January},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=1&spage=39},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Waterloo, Waterloo, Ontario, Canada},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Galil/80c,
AUTHOR = {Galil, Z.},
TITLE = {Applications of efficient mergeable heaps for optimization problems on trees},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {1},
PAGES = {53-58},
YEAR = {1980, January},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=1&spage=53},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Math. Sci., Tel-Aviv Univ., Tel-Aviv, Israel},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Reisch/80,
AUTHOR = {Reisch, S.},
TITLE = {GOBANG is PSPACE-complete},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {1},
PAGES = {59-66},
YEAR = {1980, January},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=1&spage=59},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fakult{\"a}t f{\"u}r Math., Univ. Bielefeld, Bielefeld, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Siekmann-Wrightson/80,
AUTHOR = {Siekmann, J. and Wrightson, G.},
TITLE = {Paramodulated connection graphs},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {1},
PAGES = {67-86},
YEAR = {1980, January},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=1&spage=67},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informatik I, Univ. Karlsruhe, Karlsruhe, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Maurer-Salomaa-Wood/80c,
AUTHOR = {Maurer, H.A. and Salomaa, A. and Wood, D.},
TITLE = {On generators and generative capacity of EOL forms},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {1},
PAGES = {87-107},
YEAR = {1980, January},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=1&spage=87},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informationsverarbeitung, Tech. Univ. Graz, Graz, Austria},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Wegener/80,
AUTHOR = {Wegener, I.},
TITLE = {A new lower bound on the monotone network complexity of Boolean sums},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {2},
PAGES = {109-114},
YEAR = {1980, February},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=2&spage=109},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fakult{\"a}t f{\"u}r Math., Univ. Bielefeld, Bielefeld, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Rohrich/80,
AUTHOR = {R{\"o}hrich, J.},
TITLE = {Methods for the automatic construction of error correcting parsers},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {2},
PAGES = {115-139},
YEAR = {1980, February},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=2&spage=115},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informatik II, Univ. Karlsruhe, Karlsruhe, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Fischer-Milton-Quiring/80,
AUTHOR = {Fischer, C.N. and Milton, D.R. and Quiring, S.B.},
TITLE = {Efficient LL(1) error correction and recovery using only insertions},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {2},
PAGES = {141-154},
YEAR = {1980, February},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=2&spage=141},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Univ. of Wisconsin-Madison, Madison, WI, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Bentley-Maurer/80,
AUTHOR = {Bentley, J.L. and Maurer, H.A.},
TITLE = {Efficient worst-case data structures for range searching},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {2},
PAGES = {155-168},
YEAR = {1980, February},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=2&spage=155},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci. and Math., Carnegie-Mellon Univ., Pittsburgh, PA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Clarke/80,
AUTHOR = {Clarke, E.M.},
TITLE = {Proving correctness of coroutines without history variables},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {2},
PAGES = {169-188},
YEAR = {1980, February},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=2&spage=169},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Center for Res. in Computing Technol., Aiken Computation Lab., Cambridge, MA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Reutenauer/80,
AUTHOR = {Reutenauer, Christophe},
TITLE = {An Ogden-like iteration lemma for rational power series},
JOURNAL = {Acta Inf.},
VOLUME = {13},
PAGES = {189-197},
YEAR = {1980},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&spage=189},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kintala-Wotschke/80,
AUTHOR = {Kintala, C.M.R. and Wotschke, D.},
TITLE = {Amounts of nondeterminism in finite automata},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {2},
PAGES = {199-204},
YEAR = {1980, February},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=2&spage=199},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Univ. of Southern California, Los Angeles, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Tompa/80,
AUTHOR = {Tompa, F.W.},
TITLE = {A practical example of the specification of abstract data types},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {3},
PAGES = {205-224},
YEAR = {1980, March},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=3&spage=205},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Waterloo, Waterloo, Ontario, Canada},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Barstow/80,
AUTHOR = {Barstow, D.R.},
TITLE = {Remarks on 'a synthesis of several sorting algorithms' by John Darlington},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {3},
PAGES = {225-227},
YEAR = {1980, March},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=3&spage=225},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Yale Univ., New Haven, CT, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kastens/80,
AUTHOR = {Kastens, U.},
TITLE = {Ordered attributed grammars},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {3},
PAGES = {229-256},
YEAR = {1980, March},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=3&spage=229},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informatik Ii, Univ. Karlsruhe, Karlsruhe, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Rozenberg-Wood/80,
AUTHOR = {Rozenberg, G. and Wood, D.},
TITLE = {Context-free grammars with selective rewriting},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {3},
PAGES = {257-268},
YEAR = {1980, March},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=3&spage=257},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. of Appl. Math. and Computer Sci., Univ. of Leiden, Leiden, Netherlands},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kleine-Buning-Priese/80,
AUTHOR = {Kleine-Buning, H. and Priese, L.},
TITLE = {Universal asynchronous iterative arrays of mealy automata},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {3},
PAGES = {269-285},
YEAR = {1980, March},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=3&spage=269},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Math. Logik und Grundlagenforschung, Univ. M{\"u}nster, M{\"u}nster, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Rollik/80,
AUTHOR = {Rollik, H.A.},
TITLE = {Automata in planar graphs},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {3},
PAGES = {287-298},
YEAR = {1980, March},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=3&spage=287},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Abteilung f{\"u}r Informatik, Univ. Dortmund, Dortmund, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Franta-Bilodeau/80,
AUTHOR = {Franta, W.R. and Bilodeau, M.B.},
TITLE = {Analysis of a prioritized CSMA protocol based on staggered delays},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {4},
PAGES = {299-324},
YEAR = {1980, May},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=4&spage=299},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Minnesota, Minneapolis, MN, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Berztiss/80,
AUTHOR = {Berztiss, A.T.},
TITLE = {Depth-first k-trees and critical path analysis},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {4},
PAGES = {325-346},
YEAR = {1980, May},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=4&spage=325},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Pittsburgh, Pittsburgh, PA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Latteux/80,
AUTHOR = {Latteux, M.},
TITLE = {Algebraic and linear generators},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {4},
PAGES = {347-363},
YEAR = {1980, May},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=4&spage=347},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Service Informatique, Univ. de Lille I, Villeneuve d'Ascq, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Maurer-Nivat/80,
AUTHOR = {Maurer, H.A. and Nivat, M.},
TITLE = {Rational bijection of rational sets},
JOURNAL = {Acta Inf.},
VOLUME = {13},
NUMBER = {4},
PAGES = {365-378},
YEAR = {1980, May},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&issue=4&spage=365},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informationsverarbeitung, Tech. Univ. Graz, Graz, Austria},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Morito-Salkin/80,
AUTHOR = {Morito, Susumu and Salkin, Harvey M.},
TITLE = {Using the Blankinship algorithm to find the general solution of a linear diophantine equation},
JOURNAL = {Acta Inf.},
VOLUME = {13},
PAGES = {379-382},
YEAR = {1980},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&spage=379},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Mescheder/80,
AUTHOR = {Mescheder, Bernhard},
TITLE = {On the number of active $*$-operations needed to compute the discrete Fourier transform},
JOURNAL = {Acta Inf.},
VOLUME = {13},
PAGES = {383-408},
YEAR = {1980},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=13&spage=383},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}