@article{Bechtold-Pujolle-Spaniol/85,
AUTHOR = {Bechtold, M. and Pujolle, G. and Spaniol, O.},
TITLE = {Throughput of a satellite channel communications},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {1},
PAGES = {1-14},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=1&spage=1},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich Inf., Frankfurt Univ., Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kingston/85,
AUTHOR = {Kingston, J.H.},
TITLE = {Analysis of tree algorithms for the simulation event list},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {1},
PAGES = {15-33},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=1&spage=15},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Iowa Univ., IA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Schneider-Conway-Skeen/85,
AUTHOR = {Schneider, F.B. and Conway, R. and Skeen, D.},
TITLE = {Thrift execution of task pipelines},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {1},
PAGES = {35-45},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=1&spage=35},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Mili-Desharnais-Gagne/85,
AUTHOR = {Mili, A. and Desharnais, J. and Gagne, J.-R.},
TITLE = {Strongest invariant functions: their use in the systematic analysis of while statements},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {1},
PAGES = {47-66},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=1&spage=47},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. d'Inf., Tunis Univ., Tunisia},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Jacobs-Gries/85,
AUTHOR = {Jacobs, D. and Gries, D.},
TITLE = {General correctness: a unification of partial and total correctness},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {1},
PAGES = {67-83},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=1&spage=67},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Southern California, Los Angeles, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ottmann-Schrapp-Wood/85,
AUTHOR = {Ottmann, T. and Schrapp, M. and Wood, D.},
TITLE = {Purely top-down updating algorithms for stratified search trees},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {1},
PAGES = {85-100},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=1&spage=85},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Angewandte Inf. und Formale Beschreibungsverfahren, Karlsruhe Univ., Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Loveland/85,
AUTHOR = {Loveland, D.W.},
TITLE = {Performance bounds for binary testing with arbitrary weights},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {1},
PAGES = {101-114},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=1&spage=101},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Duke Univ., Durham, NC, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Monien-Speckenmeyer/85,
AUTHOR = {Monien, B. and Speckenmeyer, E.},
TITLE = {Ramsey numbers and an approximation algorithm for the vertex cover problem},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {1},
PAGES = {115-123},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=1&spage=115},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Paderborn Univ., Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Meghini-Thanos/85,
AUTHOR = {Meghini, C. and Thanos, C.},
TITLE = {Querying fragmented relations in a distributed database},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {2},
PAGES = {125-138},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=2&spage=125},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Istituto di Elaborazione, CNR, Pisa, Italy},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Bruno/85,
AUTHOR = {Bruno, J.},
TITLE = {On scheduling tasks with exponential service times and in-tree precedence constraints},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {2},
PAGES = {139-148},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=2&spage=139},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., California Univ., Santa Barabara, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Cunningham-Dick/85,
AUTHOR = {Cunningham, R.J. and Dick, A.J.J.},
TITLE = {Rewrite systems on a lattice of types},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {2},
PAGES = {149-169},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=2&spage=149},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput., Imperial Coll. of Sci. \& Technol., London Univ., England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Sack-Strothotte/85,
AUTHOR = {Sack, J.R. and Strothotte, T.},
TITLE = {An algorithm for merging heaps*},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {2},
PAGES = {171-186},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=2&spage=171},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Chiba-Onoguchi-Nishizeki/85,
AUTHOR = {Chiba, N. and Onoguchi, K. and Nishizeki, T.},
TITLE = {Drawing plane graphs nicely},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {2},
PAGES = {187-201},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=2&spage=187},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Electr. Commun., Tohoku Univ., Sendai, Japan},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kamimura/85,
AUTHOR = {Kamimura, T.},
TITLE = {An effectively given initial semigroup*},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {2},
PAGES = {203-227},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=2&spage=203},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Kansas Univ., Lawrence, KS, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Dunne/85a,
AUTHOR = {Dunne, P.E.},
TITLE = {A $2.5n$ lower bound on the monotone network complexity of $T_3^n$},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {2},
PAGES = {229-240},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=2&spage=229},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Warwick Univ., Coventry, England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Rembowski/85,
AUTHOR = {Rembowski, Bogdan},
TITLE = {A priority queue with interruptions of service permitted after a time quantum},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {3},
PAGES = {241-251},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=3&spage=241},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Electr. Eng., Tech. Univ. of Gdansk, Poland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Krishnamurthy/85a,
AUTHOR = {Krishnamurthy, B.},
TITLE = {Short proofs for tricky formulas},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {3},
PAGES = {253-275},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=3&spage=253},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Tektronix Inc., Beverton, OR, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gonczarowski/85,
AUTHOR = {Gonczarowski, J.},
TITLE = {Decidable properties of monadic recursive schemas with a depth parameter},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {3},
PAGES = {277-310},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=3&spage=277},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. of Math. \& Comput. Sci., Hebrew Univ. of Jerusalem, Israel},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Rudnicki-Drabent/85,
AUTHOR = {Rudnicki, Piotr and Drabent, Wlodzimierz},
TITLE = {Proving properties of Pascal programs in MIZAR 2},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {3},
PAGES = {311-331},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=3&spage=311},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. of Comput. Sci., Polish Acad. of Sci., Warszawa, Poland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
NOTE = {see Erratum in Acta Inf., Vol. 22, 699-707},
}
@article{Bruno-Downey/85,
AUTHOR = {Bruno, J.L. and Downey, P.J.},
TITLE = {Probabilistic bounds for dual bin-packing},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {3},
PAGES = {333-345},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=3&spage=333},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kfoury-Urzyczyn/85,
AUTHOR = {Kfoury, A.J. and Urzyczyn, P.},
TITLE = {Necessary and sufficient conditions for the universality of programming formalisms},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {4},
PAGES = {347-377},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=4&spage=347},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Boston Univ., MA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Chung-Evangelist-Sudborough/85,
AUTHOR = {Chung, Moon-Jung and Evangelist, W.M. and Sudborough, I.H.},
TITLE = {Complete problems for space bounded subclasses of $NP$},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {4},
PAGES = {379-395},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=4&spage=379},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Rennselaer Polytech. Inst., Troy, NY, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Sonnenschein/85,
AUTHOR = {Sonnenschein, M.},
TITLE = {Global storage cells for attributes in an attribute grammar},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {4},
PAGES = {397-420},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=4&spage=397},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Lehrstuhl fur Informatik I ,RWTH Aachen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Huynh/85a,
AUTHOR = {Huynh, D.T.},
TITLE = {Complexity of the word problem for commutative semigroups of fixed dimension},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {4},
PAGES = {421-432},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=4&spage=421},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Beynon/85b,
AUTHOR = {Beynon, M.},
TITLE = {Replaceability and computational equivalence for monotone Boolean functions},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {4},
PAGES = {433-449},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=4&spage=433},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Warwick Univ., Coventry, England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lloyd-Loui/85,
AUTHOR = {Lloyd, E.L. and Loui, M.C.},
TITLE = {On the worst case performance of buddy systems},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {4},
PAGES = {451-473},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=4&spage=451},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Pittsburgh Univ., PA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Miyakawa/85,
AUTHOR = {Miyakawa, M.},
TITLE = {Optimum decision trees-an optimal variable theorem and its related applications},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {5},
PAGES = {475-498},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=5&spage=475},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Div. of Comput. Sci., Electrotech. Lab., Ibaraki, Japan},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Heilbrunner/85,
AUTHOR = {Heilbrunner, S.},
TITLE = {Truly prefix-correct chain-free LR(1) parsers},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {5},
PAGES = {499-536},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=5&spage=499},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fakult{\"a}t f{\"u}r Inf., Univ. der Bundeswehr M{\"u}nchen, Neubiberg, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Moller/85a,
AUTHOR = {Moller, B.},
TITLE = {On the algebraic specification of infinite objects- ordered and continuous models of algebraic types},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {5},
PAGES = {537-578},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=5&spage=537},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Inf., Tech. Univ. M{\"u}nchen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Latteux-Leguy-Ratoandromanana/85,
AUTHOR = {Latteux, M. and Leguy, B. and Ratoandromanana, B.},
TITLE = {The family of one-counter languages is closed under quotient},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {5},
PAGES = {579-588},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=5&spage=579},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {CNRS, Lille Univ., Villeneuve d'Ascq, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Hromkovic/85c,
AUTHOR = {Hromkovi{\v{c}}, J.},
TITLE = {Fooling a two-way nondeterministic multihead automation with reversal number restriction},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {5},
PAGES = {589-594},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=5&spage=589},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Theor. Cybern., Comenius Univ., Bratislava, Czechoslovakia},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Caspi-Halbwachs/86,
AUTHOR = {Caspi, P. and Halbwachs, N.},
TITLE = {A functional model for describing and reasoning about time behaviour of computing systems},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {6},
PAGES = {595-627},
YEAR = {1986},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=6&spage=595},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. IMAG, Grenoble, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nipkow/86,
AUTHOR = {Nipkow, T.},
TITLE = {Nondeterministic data types: models and implementations},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {6},
PAGES = {629-661},
YEAR = {1986},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=6&spage=629},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Manchester Univ., England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Reusch-Merzenich/86,
AUTHOR = {Reusch, B. and Merzenich, W.},
TITLE = {Minimal coverings for incompletely specified sequential machines},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {6},
PAGES = {663-678},
YEAR = {1986},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=6&spage=663},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Lehrstuhl Inf. I, Dortmund Univ., Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Diekert/86,
AUTHOR = {Diekert, V.},
TITLE = {Investigations on Hotz groups for arbitrary grammars},
JOURNAL = {Acta Inf.},
VOLUME = {22},
NUMBER = {6},
PAGES = {679-698},
YEAR = {1986},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=22&issue=6&spage=679},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich Inf., Hamburg Univ., Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}