@article{Wirsing-Pepper-Partsch-Dosch/83,
AUTHOR = {Wirsing, M. and Pepper, P. and Partsch, H. and Dosch, W.},
TITLE = {On hierarchies of abstract data types},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {1},
PAGES = {1-33},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=1&spage=1},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fakult{\"a}t f{\"u}r Informatik, Univ. Passau, Passau, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{He/83,
AUTHOR = {He, J.},
TITLE = {General predicate transformer and the semantics of a programming language with goto statement},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {1},
PAGES = {35-57},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=1&spage=35},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {East China Normal Univ., Shanghai, China},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Damm-Josko/83,
AUTHOR = {Damm, W. and Josko, B.},
TITLE = {A sound and relatively complete Hoare-logic for a language with higher type procedures},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {1},
PAGES = {59-101},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=1&spage=59},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Lehrstuhl f{\"u}r Informatik II, Rheinisch Westf{\"a}lische Tech. Hochschule, Aachen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Chandra-Kou-Markowsky/83,
AUTHOR = {Chandra, A.K. and Kou, L.T. and Markowsky, G.},
TITLE = {On sets of Boolean n-vectors with all k-projections surjective},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {1},
PAGES = {103-111},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=1&spage=103},
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{Kameda/83,
AUTHOR = {Kameda, H.},
TITLE = {A note on multi-queue scheduling of two tasks},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {2},
PAGES = {113-120},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=2&spage=113},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Electro-Communications, Tokyo, Japan},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Akdag/83,
AUTHOR = {Akdag, H.},
TITLE = {Performances of an algorithm constructing a nearly optimal binary tree},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {2},
PAGES = {121-132},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=2&spage=121},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Univ. Paris Vi, Paris, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Bucher/83,
AUTHOR = {Bucher, W.},
TITLE = {Two-symbol DOS systems generating regular languages},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {2},
PAGES = {133-142},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=2&spage=133},
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{Mannila-Raiha/83,
AUTHOR = {Mannila, H. and Raiha, K.-J.},
TITLE = {On the relationship of minimum and optimum covers for a set of functional dependencies},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {2},
PAGES = {143-158},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=2&spage=143},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Helsinki, Helsinki, Finland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Coppo/83,
AUTHOR = {Coppo, M.},
TITLE = {On the semantics of polymorphism},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {2},
PAGES = {159-170},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=2&spage=159},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {ISI, Torino, Italy},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Goodman-Shmueli/83,
AUTHOR = {Goodman, N. and Shmueli, O.},
TITLE = {$NP$-complete problems simplified on tree schemas},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {2},
PAGES = {171-178},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=2&spage=171},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Center for Res. in Computing Technol., Harvard Univ., Cambridge, MA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Pansiot/83,
AUTHOR = {Pansiot, J.-J.},
TITLE = {Hierarchy and closure properties of various classes of tag-systems},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {2},
PAGES = {179-196},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=2&spage=179},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Univ. Louis Pasteur, Strasbourg, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ronse/83,
AUTHOR = {Ronse, C.},
TITLE = {A three-stage construction for multiconnection networks},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {2},
PAGES = {197-206},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=2&spage=197},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Philips Res. Lab. Brussels, Bruxelles, Belgium},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ben-Ari-Pnueli-Manna/83,
AUTHOR = {Ben-Ari, M. and Pnueli, A. and Manna, Z.},
TITLE = {The temporal logic of branching time},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {3},
PAGES = {207-226},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=3&spage=207},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., School of Math. Sci., Tel Aviv Univ., Tel Aviv, Israel},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Simon/83,
AUTHOR = {Simon, H.-U.},
TITLE = {Pattern matching in trees and nets},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {3},
PAGES = {227-248},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=3&spage=227},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Angewandte Math. und Informatik, Univ. des Saarlandes, Saarbr{\"u}cken, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Marque-Pucheu/83,
AUTHOR = {Marque-Pucheu, G.},
TITLE = {Rational set of trees and the algebraic semantics of logic programming},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {3},
PAGES = {249-260},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=3&spage=249},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Ecole Normale Superieure, Paris, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Bannister-Trivedi/83,
AUTHOR = {Bannister, J.A. and Trivedi, K.S.},
TITLE = {Task allocation in fault-tolerant distributed systems},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {3},
PAGES = {261-281},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=3&spage=261},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Univ. of California, Los Angeles, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Pohlmann/83,
AUTHOR = {Pohlmann, W.},
TITLE = {LR parsing for affix grammars},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {4},
PAGES = {283-300},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=4&spage=283},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich Informatik, Hochschule der Bundeswehr M{\"u}nchen, Neubiberg, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Martin/83,
AUTHOR = {Martin, A.J.},
TITLE = {A general proof rule for procedures in predicate transformer semantics},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {4},
PAGES = {301-313},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=4&spage=301},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {California Inst. of Technol., Pasadena, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Mili/83a,
AUTHOR = {Mili, A.},
TITLE = {A relational approach to the design of deterministic programs},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {4},
PAGES = {315-328},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=4&spage=315},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. d'Informatique, Univ. Laval, Quebec, Quebec, Canada},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Francez/83,
AUTHOR = {Francez, N.},
TITLE = {Product properties and their direct verification},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {4},
PAGES = {329-344},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=4&spage=329},
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{Flajolet/83,
AUTHOR = {Flajolet, P.},
TITLE = {On the performance evaluation of extendible hashing and trie searching},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {4},
PAGES = {345-369},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=4&spage=345},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {INRIA, Le Chesnay, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kleijn-Rozenberg/83,
AUTHOR = {Kleijn, H.C.M. and Rozenberg, G.},
TITLE = {On the generative power of regular pattern grammars},
JOURNAL = {Acta Inf.},
VOLUME = {20},
NUMBER = {4},
PAGES = {391-411},
YEAR = {1983},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=20&issue=4&spage=391},
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{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},
}
@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{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},
}