@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},
}