@article{Costa-Sernadas-Sernadas/94,
AUTHOR = {Costa, J.F. and Sernadas, A. and Sernadas, C.},
TITLE = {Object inheritance beyond subtyping},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {1},
PAGES = {5-26},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=1&spage=5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Su/94,
AUTHOR = {Su, Jianwen},
TITLE = {Dependency preservation in semantic databases},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {1},
PAGES = {27-54},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=1&spage=27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{de_Francesco-Inverardi/94,
AUTHOR = {de Francesco, Nicoletta and Inverardi, Paola},
TITLE = {Proving finiteness of CCS processes by non-standard semantics},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {1},
PAGES = {55-80},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=1&spage=55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Baier-Majster-Cederbaum/94,
AUTHOR = {Baier, Christel and Majster-Cederbaum, Mila E.},
TITLE = {The connection between an event structure semantics and an operational semantics for $TCSP$},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {1},
PAGES = {81-104},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=1&spage=81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{von_Wright/94,
AUTHOR = {von Wright, J.},
TITLE = {The lattice of data refinement},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {2},
PAGES = {105-135},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=2&spage=105},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Mongenet-Clauss-Perrin/94,
AUTHOR = {Mongenet, Catherine and Clauss, Philippe and Perrin, Guy-Ren{\'e}},
TITLE = {Geometrical tools to map systems of affine recurrence equations on regular arrays},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {2},
PAGES = {137-160},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=2&spage=137},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Ehrenfeucht-Pas-Rozenberg/94,
AUTHOR = {Ehrenfeucht, A. and Pas, P. ten and Rozenberg, G.},
TITLE = {Context-free text grammars},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {2},
PAGES = {161-206},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=2&spage=161},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Grassi/94,
AUTHOR = {Grassi, Vincenzo},
TITLE = {Dependability evaluation of hierarchical systems},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {3},
PAGES = {207-233},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=3&spage=207},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Bozapalidis-Rahonis/94,
AUTHOR = {Bozapalidis, Symeon and Rahonis, George},
TITLE = {On two families of forests},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {3},
PAGES = {235-260},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=3&spage=235},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Lee-Choe/94a,
AUTHOR = {Lee, Myung-Joon and Choe, Kwang-Moo},
TITLE = {Boundedly LR$(k)$-conflictable grammars},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {3},
PAGES = {261-283},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=3&spage=261},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Wu/94b,
AUTHOR = {Wu, Hongzhong},
TITLE = {On $n$-column $0,1$-matrices with all $k$-projections surjective},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {3},
PAGES = {285-299},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=3&spage=285},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Katajainen-Pasanen/94,
AUTHOR = {Katajainen, Jyrki and Pasanen, Tomi},
TITLE = {Sorting multisets stably in minimum space},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {4},
PAGES = {301-313},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=4&spage=301},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Ibarra-Tran/94,
AUTHOR = {Ibarra, Oscar H. and Tr{\^a}n, Nicholas Q.},
TITLE = {On communication-bounded synchronized alternating finite automata},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {4},
PAGES = {315-327},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=4&spage=315},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Meinke/94,
AUTHOR = {Meinke, Karl},
TITLE = {A recursive second order initial algebra specification of primitive recursion},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {4},
PAGES = {329-340},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=4&spage=329},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Engelfriet-Heyker-Leih/94,
AUTHOR = {Engelfriet, Joost and Heyker, Linda and Leih, George},
TITLE = {Context-free graph languages of bounded degree are generated by apex graph grammars},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {4},
PAGES = {341-378},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=4&spage=341},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Diekert-Muscholl/94,
AUTHOR = {Diekert, Volker and Muscholl, Anca},
TITLE = {Deterministic asynchronous automata for infinite traces},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {4},
PAGES = {379-397},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=4&spage=379},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Jones-Middelburg/94,
AUTHOR = {Jones, C.B. and Middelburg, C.A.},
TITLE = {A typed logic of partial functions reconstructed classically},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {5},
PAGES = {399-430},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=5&spage=399},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Kuhnemann-Vogler/94,
AUTHOR = {K{\"u}hnemann, Armin and Vogler, Heiko},
TITLE = {Synthesized and inherited functions --- A new computational model for syntax-directed semantics},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {5},
PAGES = {431-477},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=5&spage=431},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Farr/94,
AUTHOR = {Farr, Graham},
TITLE = {On problems with short certificates},
JOURNAL = {Acta Inf.},
VOLUME = {31},
NUMBER = {5},
PAGES = {479-502},
YEAR = {1994},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=31&issue=5&spage=479},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Woeginger/94,
AUTHOR = {Woeginger, Gerhard J.},
TITLE = {Heuristics for parallel machine scheduling with delivery times},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {503-512},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hull-Su/94,
AUTHOR = {Hull, Richard and Su, Jianwen},
TITLE = {Domain independence and the relational calculus},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {513-524},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Paun-Rozenberg/94,
AUTHOR = {P{\u{a}}un, Gheorghe and Rozenberg, Grzegorz},
TITLE = {Prescribed teams of grammars},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {525-537},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{de_Luca-Varricchio/94,
AUTHOR = {de Luca, Aldo and Varricchio, Stefano},
TITLE = {Well quasi-orders and regular languages},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {539-557},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Falin-Diaz-Artalejo/94,
AUTHOR = {Falin, G.I. and Diaz, M. Mart{\`i}n and Artalejo, J.R.},
TITLE = {Information theoretic approximations for the $M/G/1$ retrial queue},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {559-571},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Torlone/94,
AUTHOR = {Torlone, Riccardo},
TITLE = {Update operations in deductive databases with functional dependencies},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {573-600},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Kastens-Waite/94,
AUTHOR = {Kastens, U. and Waite, W.M.},
TITLE = {Modularity and reusability in attribute grammars},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {601-627},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Ruhl/94,
AUTHOR = {R{\"u}hl, Astrid R.},
TITLE = {On bounds of response time performance achievable by multiclass single-server queues},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {629-650},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Bernot-Bidoit-Knapik/94,
AUTHOR = {Bernot, Gilles and Bidoit, Michel and Knapik, Teodor},
TITLE = {Behavioural approaches to algebraic specifications: A comparative study},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {651-671},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Flajolet-Golin/94,
AUTHOR = {Flajolet, Philippe and Golin, Mordecai},
TITLE = {Mellin transforms and asymptotics: The mergesort recurrence},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {673-696},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Kiehn/94,
AUTHOR = {Kiehn, A.},
TITLE = {Comparing locality and causality based equivalences},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {697-718},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hauschildt-Jantzen/94,
AUTHOR = {Hauschildt, Dirk and Jantzen, Matthias},
TITLE = {Petri net algorithms in the theory of matrix grammars},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {719-728},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Spuler/94,
AUTHOR = {Spuler, David},
TITLE = {Optimal search trees using two-way key comparisons},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {729-740},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Ferdinand-Seidl-Wilhelm/94,
AUTHOR = {Ferdinand, Christian and Seidl, Helmut and Wilhelm, Reinhard},
TITLE = {Tree automata for code selection},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {741-760},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Culik-Kari/94,
AUTHOR = {Culik II, Karel and Kari, Jarkko},
TITLE = {On the power of $L$-systems in image generation},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {761-773},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Kirschenhofer-Prodinger/94,
AUTHOR = {Kirschenhofer, Peter and Prodinger, Helmut},
TITLE = {The path length of random skip lists},
JOURNAL = {Acta Inf.},
VOLUME = {31},
PAGES = {775-792},
YEAR = {1994},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}