@article{Kung-Papadimitriou/83,
AUTHOR = {Kung, H.T. and Papadimitriou, C.H.},
TITLE = {An optimality theory of concurrency control for databases},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {1},
PAGES = {1-11},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=1&spage=1},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Tsuda-Sato/83,
AUTHOR = {Tsuda, T. and Sato, T.},
TITLE = {Transposition of large tabular data structures with applications to physical database organization. I. Transposition of tabular data structures},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {1},
PAGES = {13-33},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=1&spage=13},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Information Sci., Kyoto Univ., Kyoto, Japan},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kuspert/83,
AUTHOR = {Kuspert, K.},
TITLE = {Storage utilization in b*-trees with a generalized overflow technique},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {1},
PAGES = {35-55},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=1&spage=35},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Kaiserslautern, Kaiserslautern, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Taylor/83,
AUTHOR = {Taylor, R.N.},
TITLE = {Complexity of analyzing the synchronization structure of concurrent programs},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {1},
PAGES = {57-84},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=1&spage=57},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Information and Computer Sci., Univ. of California, Irvine, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Iwama/83a,
AUTHOR = {Iwama, K.},
TITLE = {The universe problem for unrestricted flow languages},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {1},
PAGES = {85-96},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=1&spage=85},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Kyoto Sangyo Univ., Kyoto, Japan},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Bergstra-Terlouw/83,
AUTHOR = {Bergstra, J.A. and Terlouw, J.},
TITLE = {Standard model semantics for DSL-a data type specification language},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {1},
PAGES = {97-113},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=1&spage=97},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Leiden, Leiden, Netherlands},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{File/83,
AUTHOR = {Fil{\'e}, G.},
TITLE = {Interpretation and reduction of attribute grammars},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {2},
PAGES = {115-150},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=2&spage=115},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Appl. Math., Twente Univ. of Technol., Enschede, Netherlands},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Pfaff/83,
AUTHOR = {Pfaff, G.E.},
TITLE = {The construction of operator interfaces based on logical input devices},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {2},
PAGES = {151-166},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=2&spage=151},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {TH Darmstadt, Darmstadt, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Tsuda-Urano-Sato/83,
AUTHOR = {Tsuda, T. and Urano, A. and Sato, T.},
TITLE = {Transposition of large tabular data structures with applications to physical database organization. II. Applications to physical database organization},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {2},
PAGES = {167-182},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=2&spage=167},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Information Sci., Kyoto Univ., Kyoto, Japan},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Schurfeld/83,
AUTHOR = {Schurfeld, U.},
TITLE = {New lower bounds on the formula size of Boolean functions},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {2},
PAGES = {183-194},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=2&spage=183},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Univ. Bielefeld, Bielefeld, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Queille-Sifakis/83,
AUTHOR = {Queille, J.P. and Sifakis, J.},
TITLE = {Fairness and related properties in transition systems-a temporal logic to deal with fairness},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {3},
PAGES = {195-220},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=3&spage=195},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {IMAG, Grenoble, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kearns-Soffa/83,
AUTHOR = {Kearns, J.P. and Soffa, M.L.},
TITLE = {The implementation of retention in a coroutine environment},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {3},
PAGES = {221-233},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=3&spage=221},
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{Engels-Pletat-Ehrich/83,
AUTHOR = {Engels, G. and Pletat, U. and Ehrich, H.-D.},
TITLE = {An operational semantics for specifications of abstract data types with error handling},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {3},
PAGES = {235-253},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=3&spage=235},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Angewandte Informatik, Univ. Osnabr{\"u}ck, Osnabr{\"u}ck, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nielson/83,
AUTHOR = {Nielson, H.R.},
TITLE = {Computation sequences: a way to characterize classes of attribute grammars},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {3},
PAGES = {255-268},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=3&spage=255},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Univ. of Edinburgh, Edinburgh, Scotland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Meyer_auf_der_Heide/83,
AUTHOR = {Meyer auf der Heide, F.},
TITLE = {Efficiency of universal parallel computers},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {3},
PAGES = {269-296},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=3&spage=269},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Johann-Wolfgang-Goethe-Univ., Frankfurt, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Schmitt/83,
AUTHOR = {Schmitt, A.},
TITLE = {On the number of relational operators necessary to compute certain functions of real variables},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {3},
PAGES = {297-304},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=3&spage=297},
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{Vardi/83,
AUTHOR = {Vardi, M.Y.},
TITLE = {Inferring multivalued dependencies from functional and join dependencies},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {4},
PAGES = {305-324},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=4&spage=305},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Appl. Maths., Weizmann Inst. of Sci., Rehovot, Israel},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Suzuki-Kasami/83,
AUTHOR = {Suzuki, I. and Kasami, T.},
TITLE = {Three measures for synchronic dependence in Petri nets},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {4},
PAGES = {325-338},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=4&spage=325},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Osaka Univ., Toyonaka, Japan},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{El-Affendi-Kouvatsos/83,
AUTHOR = {El-Affendi, M.A. and Kouvatsos, D.D.},
TITLE = {A maximum entropy analysis of the m/g/1 and g/m/1 queueing systems at equilibrium},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {4},
PAGES = {339-355},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=4&spage=339},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Univ. of Bradford, Bradford, England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ruohonen/83,
AUTHOR = {Ruohonen, K.},
TITLE = {On some variants of Post's correspondence problem},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {4},
PAGES = {357-367},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=4&spage=357},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. of Math., Tampere Univ. of Technol., Tampere, Finland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Agrawal-Detro/83,
AUTHOR = {Agrawal, R. and Detro, K.D.},
TITLE = {An efficient incremental LR parser for grammars with epsilon productions},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {4},
PAGES = {369-376},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=4&spage=369},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Wisconsin-Madison, Madison, WI, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Hromkovic/83,
AUTHOR = {Hromkovi{\v{c}}, J.},
TITLE = {One-way multihead deterministic finite automata},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {4},
PAGES = {377-384},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=4&spage=377},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Theoretical Cybernetics, Komensky Univ., Bratislava, Czechoslovakia},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Klein-Meyer_auf_der_Heide/83,
AUTHOR = {Klein, P. and Meyer auf der Heide, F.},
TITLE = {A lower time bound for the knapsack problem on random access machines},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {4},
PAGES = {385-395},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=4&spage=385},
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{Sommerhalder-Westrhenen/83,
AUTHOR = {Sommerhalder, R. and Westrhenen, S.C. van},
TITLE = {Parallel language recognition in constant time by cellular automata},
JOURNAL = {Acta Inf.},
VOLUME = {19},
NUMBER = {4},
PAGES = {397-407},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=19&issue=4&spage=397},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Tech. Hogeschool Delft, Delft, Netherlands},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}