@article{Russell/80,
AUTHOR = {Russell, B.},
TITLE = {Correctness of the compiling process based on axiomatic semantics},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {1},
PAGES = {1-20},
YEAR = {1980, June},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=1&spage=1},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., State Univ. of New York, Stony Brook, NY, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lamport/80,
AUTHOR = {Lamport, L.},
TITLE = {The 'Hoare logic' of concurrent programs},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {1},
PAGES = {21-37},
YEAR = {1980, June},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=1&spage=21},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {SRI Internat. Computer Sci. Lab., Menlo Park, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Plateau/80,
AUTHOR = {Plateau, B.},
TITLE = {Performance evaluation of a concurrency control for a distributed database},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {1},
PAGES = {39-62},
YEAR = {1980, June},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=1&spage=39},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Lab. de Recherche en Informatique, Univ. de Paris-Sud, Orsay, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ellis/80,
AUTHOR = {Ellis, C.S.},
TITLE = {Concurrent search and insertion in 2-3 trees},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {1},
PAGES = {63-86},
YEAR = {1980, June},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=1&spage=63},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer and Information Sci., Univ. of Oregon, Eugene, OR, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Philipp-Prauss/80,
AUTHOR = {Philipp, R. and Prauss, E.-J.},
TITLE = {Separators in planar graphs},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {1},
PAGES = {87-106},
YEAR = {1980, June},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=1&spage=87},
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{Bromley/80,
AUTHOR = {Bromley, A.G.},
TITLE = {Memory fragmentation in buddy methods for dynamic storage allocation},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {2},
PAGES = {107-117},
YEAR = {1980, August},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=2&spage=107},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Basser Dept. of Computer Sci., Univ. of Sydney, Sydney, NSW, Australia},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Vaishnavi-Kriegel-Wood/80,
AUTHOR = {Vaishnavi, V.K. and Kriegel, H.P. and Wood, D.},
TITLE = {Optimum multiway search trees},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {2},
PAGES = {119-133},
YEAR = {1980, August},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=2&spage=119},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Concordia Univ., Montreal, Quebec, Canada},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nakajima-Honda-Nakahara/80,
AUTHOR = {Nakajima, R. and Honda, M. and Nakahara, H.},
TITLE = {Hierarchical program specification and verification-a many-sorted logical approach},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {2},
PAGES = {135-155},
YEAR = {1980, August},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=2&spage=135},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Res. Inst. for Math. Sci., Kyoto Univ., Kyoto, Japan},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Soisalon-Soininen/80a,
AUTHOR = {Soisalon-Soininen, E.},
TITLE = {On the space optimizing effect of eliminating single productions from LR parsers},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {2},
PAGES = {157-174},
YEAR = {1980, August},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=2&spage=157},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Helsinki, Helsinki, Finland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Wegner/80,
AUTHOR = {Wegner, L.M.},
TITLE = {On parsing two-level grammars},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {2},
PAGES = {175-193},
YEAR = {1980, August},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=2&spage=175},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Angewandte Informatik und Formale Beschreibungsverfahren, Univ. Karlsruhe, Karlsruhe, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Casanova-Bernstein/80,
AUTHOR = {Casanova, M.A. and Bernstein, P.A.},
TITLE = {General purpose schedulers for database systems},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {3},
PAGES = {195-220},
YEAR = {1980, September},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=3&spage=195},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Aiken Computation Lab., Harvard Univ., Cambridge, MA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
NOTE = {see Erratum in Acta Inf., Vol. 15, 471},
}
@article{Galil/80a,
AUTHOR = {Galil, Z.},
TITLE = {An $O(V^{5/3}E^{2/3})$ algorithm for the maximal flow problem},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {3},
PAGES = {221-242},
YEAR = {1980, September},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=3&spage=221},
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{Paul-Prauss-Reischuk/80,
AUTHOR = {Paul, W.J. and Prauss, E.J. and Reischuk, R.},
TITLE = {On alternation (Turing machines)},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {3},
PAGES = {243-255},
YEAR = {1980, September},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=3&spage=243},
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{Commentz-Walter-Sattler/80,
AUTHOR = {Commentz-Walter, B. and Sattler, J.},
TITLE = {Size-depth tradeoff in non-monotone Boolean formulae},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {3},
PAGES = {257-269},
YEAR = {1980, September},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=3&spage=257},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {IBM Deutschland, Boblingen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nijholt/80,
AUTHOR = {Nijholt, A.},
TITLE = {A survey of normal form covers for context free grammars},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {3},
PAGES = {271-294},
YEAR = {1980, September},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=3&spage=271},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Math., Vrije Univ., Amsterdam, Netherlands},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kemp/80,
AUTHOR = {Kemp, R.},
TITLE = {A note on the density of inherently ambiguous context-free languages},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {3},
PAGES = {295-298},
YEAR = {1980, September},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=3&spage=295},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich Angewandte Math. und Informatik, Univ. des Saarlandes, Saarbr{\"u}cken, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Purdom-Brown/80,
AUTHOR = {Purdom, P. and Brown, C.A.},
TITLE = {Semantic routines and LR(k) parsers},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {4},
PAGES = {299-315},
YEAR = {1980, October},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=4&spage=299},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Indiana Univ., Bloomington, IN, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Moll/80,
AUTHOR = {Moll, K.R.},
TITLE = {Left context precedence grammars},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {4},
PAGES = {317-335},
YEAR = {1980, October},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=4&spage=317},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informatik, Univ. of M{\"u}nchen, M{\"u}nchen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Wand/80,
AUTHOR = {Wand, M.},
TITLE = {First-order identities as a defining language},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {4},
PAGES = {337-357},
YEAR = {1980, October},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=4&spage=337},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Indiana Univ., Bloomington, IN, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nishimura/80,
AUTHOR = {Nishimura, H.},
TITLE = {Descriptively complete process logic},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {4},
PAGES = {359-369},
YEAR = {1980, October},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=4&spage=359},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Res. Inst. for Math. Sci., Kyoto Univ., Kyoto, Japan},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kroger/80,
AUTHOR = {Kr{\"o}ger, F.},
TITLE = {Infinite proof rules for loops},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {4},
PAGES = {371-389},
YEAR = {1980, October},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=4&spage=371},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {TECH. UNIV. OF M{\"u}nchen, M{\"u}nchen, GERMANY},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Paul-Reischuk/80,
AUTHOR = {Paul, W. and Reischuk, R.},
TITLE = {On alternation II. A graph theoretic approach to determinism versus nondeterminism},
JOURNAL = {Acta Inf.},
VOLUME = {14},
NUMBER = {4},
PAGES = {391-403},
YEAR = {1980, October},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=14&issue=4&spage=391},
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},
}