@article{Dewar-Merritt-Sharir/82,
AUTHOR = {Dewar, R.B.K. and Merritt, S.M. and Sharir, M.},
TITLE = {Some modified algorithms for Dijkstra's longest upsequence problem},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {1},
PAGES = {1-15},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=1&spage=1},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Courant Inst. of Math. Sci., New York Univ., New York, NY, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ramirez-Tompa-Munro/82,
AUTHOR = {Ramirez, R.J. and Tompa, F.W. and Munro, J.I.},
TITLE = {Optimum reorganization points for arbitrary database costs},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {1},
PAGES = {17-30},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=1&spage=17},
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{Budd-Angluin/82,
AUTHOR = {Budd, T.A. and Angluin, D.},
TITLE = {Two notions of correctness and their relation to testing},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {1},
PAGES = {31-45},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=1&spage=31},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Arizona, Tucson, Az, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Broy-Wirsing/82,
AUTHOR = {Broy, M. and Wirsing, M.},
TITLE = {Partial abstract types},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {1},
PAGES = {47-64},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=1&spage=47},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informatik, Tech. Univ. M{\"u}nchen, M{\"u}nchen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Leguy/82,
AUTHOR = {Leguy, J.},
TITLE = {Saturated languages and decreasing cones, bifaithful languages and bifaithful cones},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {1},
PAGES = {65-78},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=1&spage=65},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Univ. de Lille I, Villeneuve, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Langmaack/82,
AUTHOR = {Langmaack, H.},
TITLE = {On termination problems for finitely interpreted ALGOL-like programs},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {1},
PAGES = {79-108},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=1&spage=79},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informatik und Praktische Math., Christian-Albrechts-Univ. Kiel, Kiel, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Frougny-Sakarovitch-Valkema/82,
AUTHOR = {Frougny, C. and Sakarovitch, J. and Valkema, E.},
TITLE = {On the Hotz group of a context-free grammar},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {1},
PAGES = {109-115},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=1&spage=109},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Uer de Math., Univ. de Picardie, Paris, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Reisig/82,
AUTHOR = {Reisig, W.},
TITLE = {Deterministic buffer synchronization of sequential processes},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {2},
PAGES = {117-134},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=2&spage=117},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Lehrstuhl f{\"u}r Informatik Ii, RWTH Aachen, Aachen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Carter/82a,
AUTHOR = {Carter, L.R.},
TITLE = {Further analysis of code generation for a single register machine},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {2},
PAGES = {135-147},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=2&spage=135},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Motorola Software Technol., Tempe, Az, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ernst-Navlakha-Ogden/82,
AUTHOR = {Ernst, G.W. and Navlakha, J.K. and Ogden, W.F.},
TITLE = {Verification of programs with procedure-type parameters},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {2},
PAGES = {149-169},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=2&spage=149},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Engng. and Sci. Dept., Case Western Reserve Univ., Cleveland, OH, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nakatsu-Kambayashi-Yajima/82,
AUTHOR = {Nakatsu, N. and Kambayashi, Y. and Yajima, S.},
TITLE = {A longest common subsequence algorithm suitable for similar text strings},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {2},
PAGES = {171-179},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=2&spage=171},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Center for Educational Technol., Aichi Univ. of Education, Aichi, Japan},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Pettorossi-Burstall/82,
AUTHOR = {Pettorossi, A. and Burstall, R.M.},
TITLE = {Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {2},
PAGES = {181-206},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=2&spage=181},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {IASI-CNR, Roma, Italy},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Brown-Baker-Katseff/82,
AUTHOR = {Brown, D.J. and Baker, B.S. and Katseff, H.P.},
TITLE = {Lower bounds for on-line two-dimensional packing algorithms},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {2},
PAGES = {207-225},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=2&spage=207},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Coordinated Sci. Lab., Univ. of Illinois, Urbana, IL, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nicolas/82,
AUTHOR = {Nicolas, J.-M.},
TITLE = {Logic for improving integrity checking in relational data bases},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {3},
PAGES = {227-253},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=3&spage=227},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. d'Informatique, Onera-Cert, Toulouse, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Allen/82,
AUTHOR = {Allen, B.},
TITLE = {On the costs of optimal and near-optimal binary search trees},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {3},
PAGES = {255-263},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=3&spage=255},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nielson/82,
AUTHOR = {Nielson, F.},
TITLE = {A denotational framework for data flow analysis},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {3},
PAGES = {265-287},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=3&spage=265},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Edinburgh, Scotland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Anderson-Backhouse/82,
AUTHOR = {Anderson, S.O. and Backhouse, R.C.},
TITLE = {An alternative implementation of an insertion-only recovery technique},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {3},
PAGES = {289-298},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=3&spage=289},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Heriot-Watt Univ., Edinburgh, Scotland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Winklmann/82,
AUTHOR = {Winklmann, K.},
TITLE = {On the complexity of some problems concerning the use of procedures. I},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {3},
PAGES = {299-318},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=3&spage=299},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Washington State Univ., Pullman, WA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Agrawala-Tripathi/82,
AUTHOR = {Agrawala, A.K. and Tripathi, S.K.},
TITLE = {On an exponential server with general cyclic arrivals},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {3},
PAGES = {319-334},
YEAR = {1982},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=3&spage=319},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Maryland, College Park, MD, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Culik-Gruska-Salomaa/83a,
AUTHOR = {Culik II, K. and Gruska, J. and Salomaa, A.},
TITLE = {Systolic automata for VLSI on balanced trees},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {4},
PAGES = {335-344},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=4&spage=335},
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{van_Leeuwen-Overmars/83,
AUTHOR = {van Leeuwen, J. and Overmars, M.H.},
TITLE = {Stratified balanced search trees},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {4},
PAGES = {345-359},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=4&spage=345},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Utrecht, Utrecht, Netherlands},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Eriksen-Staunstrup/83,
AUTHOR = {Eriksen, O. and Staunstrup, J.},
TITLE = {Concurrent algorithms for root searching},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {4},
PAGES = {361-376},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=4&spage=361},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Aarhus Univ., Aarhus, Denmark},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Supowit-Reingold/83a,
AUTHOR = {Supowit, K.J. and Reingold, E.M.},
TITLE = {The complexity of drawing trees nicely},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {4},
PAGES = {377-392},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=4&spage=377},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Illinois At Urbana-Champaign, Urbana, IL, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
NOTE = {see Erratum in Acta Inf., Vol. 40, 2004, No. 8, 603-607},
}
@article{Slutzki/83,
AUTHOR = {Slutzki, Giora},
TITLE = {Finite state relational programs},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {4},
PAGES = {393-409},
YEAR = {1982/83},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=4&spage=393},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Kansas, Lawrence, KS, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Banatre-Frison-Quinton/83,
AUTHOR = {Ban{\^a}tre, Jean-Pierre and Frison, Patrice and Quinton, Patrice},
TITLE = {A network for the detection of words in continuous speech},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {4},
PAGES = {431-448},
YEAR = {1982/83},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=4&spage=431},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {IRISA, Rennes, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nain/83,
AUTHOR = {Nain, Philippe},
TITLE = {Task scheduling between two homogeneous processors},
JOURNAL = {Acta Inf.},
VOLUME = {18},
NUMBER = {4},
PAGES = {449-466},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=18&issue=4&spage=449},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {INRIA, Le Chesnay, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}