@article{Broersma-Golovach-Patel/13,
AUTHOR = {Broersma, Hajo and Golovach, Petr A. and Patel, Viresh},
TITLE = {Tight complexity bounds for FPT subgraph problems parameterized by the clique-width},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {485},
PAGES = {69-84},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {parameterized complexity, clique-width, exponential time hypothesis},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513001990},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Engelfriet-Vogler/90,
AUTHOR = {Engelfriet, Joost and Vogler, Heiko},
TITLE = {Modular tree transducers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {78},
PAGES = {267-303},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Downey/90,
AUTHOR = {Downey, Rod},
TITLE = {On computational complexity and honest polynomial degrees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {78},
PAGES = {305-317},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Konig/90,
AUTHOR = {K{\"o}nig, Roman},
TITLE = {Graphs and free partially commutative monoids},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {78},
PAGES = {319-346},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Harju-Karhumaki/90,
AUTHOR = {Harju, T. and Karhum{\"a}ki, J.},
TITLE = {The equivalence problem of multitape finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {78},
PAGES = {347-355},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Barrington-Corbett/90,
AUTHOR = {Barrington, David A. Mix and Corbett, James},
TITLE = {A note on some languages in uniform $\mbox{ACC}^0$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {78},
PAGES = {357-362},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Baeza-Yates/90,
AUTHOR = {Baeza-Yates, Ricardo A.},
TITLE = {Searching subsequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {78},
PAGES = {363-376},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Burosch-Demetrovics-Katona-Kleitman-Sapozhenko/90,
AUTHOR = {Burosch, G. and Demetrovics, J. and Katona, G.O.H. and Kleitman, D.J. and Sapozhenko, A.A.},
TITLE = {On the number of databases and closure operations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {78},
PAGES = {377-381},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bradley/90,
AUTHOR = {Bradley, Laurette},
TITLE = {Abstract language design},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {77},
PAGES = {5-26},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrig-Fey-Hansen-Lowe-Jacobs-Parisi-Presicce/90,
AUTHOR = {Ehrig, Hartmut and Fey, Werner and Hansen, Horst and L{\"o}we, Michael and Jacobs, Dean and Parisi-Presicce, Francesco},
TITLE = {Computability problems in the development of algebraic module specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {77},
PAGES = {27-71},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Even-Schmidt/90,
AUTHOR = {Even, Susan and Schmidt, David A.},
TITLE = {Category-sorted algebra-based action semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {77},
PAGES = {73-95},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Janicki-Muldner/90,
AUTHOR = {Janicki, Ryszard and M{\"u}ldner, Tomasz},
TITLE = {Transformations of sequential specifications into concurrent specifications by synchronization guards},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {77},
PAGES = {97-129},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Manca-Salibra-Scollo/90,
AUTHOR = {Manca, V. and Salibra, A. and Scollo, G.},
TITLE = {Equational type logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {77},
PAGES = {131-159},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Pigozzi/90,
AUTHOR = {Pigozzi, Don},
TITLE = {Data types over multiple-valued logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {77},
PAGES = {161-194},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wagner/90a,
AUTHOR = {Wagner, Eric W.},
TITLE = {An algebraically specified language for data directed design},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {77},
PAGES = {195-219},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bonner/90,
AUTHOR = {Bonner, Anthony J.},
TITLE = {Hypothetical datalog: Complexity and expressibility},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {3-51},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ohori/90,
AUTHOR = {Ohori, Atsushi},
TITLE = {Semantics of types for database objects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {53-91},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Karabeg-Vianu/90,
AUTHOR = {Karabeg, Dino and Vianu, Victor},
TITLE = {Parallel update transactions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {93-114},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lipeck/90,
AUTHOR = {Lipeck, Udo W.},
TITLE = {Transformation of dynamic integrity constraints into transaction specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {115-142},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Dong-Ginsburg/90,
AUTHOR = {Dong, Guozhu and Ginsburg, Seymour},
TITLE = {On the decomposition of datalog program mappings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {143-177},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kok-Rutten/90,
AUTHOR = {Kok, Joost N. and Rutten, Jan J.M.M.},
TITLE = {Contractions in comparing concurrency semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {179-222},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sakakibara/90,
AUTHOR = {Sakakibara, Yasubumi},
TITLE = {Learning context-free grammars from structural data in polynomial time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {223-242},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Timmerman/90,
AUTHOR = {Timmerman, E.},
TITLE = {The three subfamilies of rational $\omega$-languages closed under $\omega$-transduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {243-250},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Weil/90,
AUTHOR = {Weil, Pascal},
TITLE = {Products of languages with counter},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {251-260},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Tirri/90,
AUTHOR = {Tirri, Seppo},
TITLE = {The congruence theory of closure properties of regular tree languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {261-271},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hashiguchi-Yoo/90,
AUTHOR = {Hashiguchi, Kosaburo and Yoo, Heekeun},
TITLE = {Extended regular expressions of star degree at most two},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {273-284},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Petit/90,
AUTHOR = {Petit, A.},
TITLE = {Distribution and synchronized automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {285-308},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Yamasaki/90,
AUTHOR = {Yamasaki, Susumu},
TITLE = {Recursion equation sets computing logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {309-322},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jiang/90,
AUTHOR = {Jiang, Tao},
TITLE = {On the complexity of 1-tape ATMs and off-line 1-tape ATMs running in constant reversals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {323-330},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gannett-Kothari-Yen/90,
AUTHOR = {Gannett, Ethan and Kothari, Suraj C. and Yen, Hsu-Chun},
TITLE = {On optimal parallelization of sorting networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {331-341},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sarnath-He/90,
AUTHOR = {Sarnath, R. and He, Xim},
TITLE = {A $\P$-complete graph partition problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {343-351},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Milner/90a,
AUTHOR = {Milner, Robin},
TITLE = {Interpreting one concurrent calculus in another},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {3-13},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{de_Bakker-Kok/90,
AUTHOR = {de Bakker, J.W. and Kok, J.N.},
TITLE = {Comparative metric semantics for concurrent prolog},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {15-43},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Falaschi-Levi/90,
AUTHOR = {Falaschi, Moreno and Levi, Giorgio},
TITLE = {Finite failures and partial computations in concurrent logic languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {45-66},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Murakami/90,
AUTHOR = {Murakami, Masaki},
TITLE = {A declarative semantics of flat guarded Horn clauses for programs with perpetual processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {67-83},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Holldobler/90,
AUTHOR = {H{\"o}lldobler, Steffen},
TITLE = {Conditional equational theories and complete sets of transformations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {85-110},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Dershowitz/90,
AUTHOR = {Dershowitz, Nachum},
TITLE = {A rationale for conditional equational programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {111-138},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kawamura-Kanamori/90,
AUTHOR = {Kawamura, Tadashi and Kanamori, Tadashi},
TITLE = {Preservation of stronger equivalence in unfold/fold logic program transformation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {139-156},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Devienne/90,
AUTHOR = {Devienne, Philippe},
TITLE = {Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {157-215},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Degano-Nicola-Montanari/90,
AUTHOR = {Degano, P. and Nicola, R. de and Montanari, U.},
TITLE = {A partial ordering semantics for CCS},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {223-262},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Katz-Peled/90,
AUTHOR = {Katz, Shmuel and Peled, Doron},
TITLE = {Interleaving set temporal logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {263-287},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Droste-Gobel/90a,
AUTHOR = {Droste, Manfred and G{\"o}bel, R{\"u}diger},
TITLE = {Non-deterministic information systems and their domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {289-309},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Blass-Fraenkel/90,
AUTHOR = {Blass, Uri and Fraenkel, Aviezri S.},
TITLE = {The Sprague-Grundy function for Wythoff's game},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {311-333},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Allender-Wilson/90a,
AUTHOR = {Allender, Eric and Wilson, Christopher},
TITLE = {Downward translations of equality},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {335-346},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Du-Leung-Young/90,
AUTHOR = {Du, Jianzhong and Leung, Joseph Y.-T. and Young, Gilbert H.},
TITLE = {Minimizing mean flow time with release time constraint},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {347-355},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lengauer-Wagner/90,
AUTHOR = {Lengauer, Thomas and Wagner, Klaus W.},
TITLE = {The binary network flow problem is logspace complete for $\P$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {357-363},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Diekert/90a,
AUTHOR = {Diekert, Volker},
TITLE = {Word problems over traces which are solvable in linear time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {3-18},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Fussell-Thurimella/90,
AUTHOR = {Fussell, Donald and Thurimella, Ramakrishna},
TITLE = {Successive approximation in parallel graph algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {19-35},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gavilanes-Franco-Lucio-Carrasco/90,
AUTHOR = {Gavilanes-Franco, Antonio and Lucio-Carrasco, Francisca},
TITLE = {A first order logic for partial functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {37-69},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jancar/90,
AUTHOR = {Jan{\v{c}}ar, Petr},
TITLE = {Decidability of a temporal logic problem for Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {71-93},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Preparata-Tamassia/90,
AUTHOR = {Preparata, Franco P. and Tamassia, Roberto},
TITLE = {Dynamic planar point location with optimal qury time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {95-114},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Szepietowski/90b,
AUTHOR = {Szepietowski, Andrzej},
TITLE = {If deterministic and nondeterministic space complexities are equal for $\log\log n$, then they are also equal for $\log n$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {115-119},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gastin/90,
AUTHOR = {Gastin, Paul},
TITLE = {Un mod{\`e}le asynchrone pour les syst{\`e}mes distribu{\'e}s},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {121-162},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gecseg-Jurgensen/90,
AUTHOR = {G{\'e}cseg, F. and J{\"u}rgensen, H.},
TITLE = {Automata represented by products of soliton automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {163-181},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Oommen-Hansen-Munro/90,
AUTHOR = {Oommen, B. John and Hansen, E.R. and Munro, J.I.},
TITLE = {Deterministic optimal and expedient move-to-rear list organizing strategies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {183-197},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Okulicka/90,
AUTHOR = {Okulicka, Felicja},
TITLE = {On priority in cosy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {199-216},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hartmanis-Hemachandra/90,
AUTHOR = {Hartmanis, Juris and Hemachandra, Lane A.},
TITLE = {Robust machines accept easy sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {217-225},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bezem/90,
AUTHOR = {Bezem, Marc},
TITLE = {Completeness of resolution revisited},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {227-237},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Huttel/90,
AUTHOR = {H{\"u}ttel, Hans},
TITLE = {$SnS$ can be modally characterized},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {239-248},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kummer/90,
AUTHOR = {Kummer, Martin},
TITLE = {An easy priority-free proof of a theorem of Friedberg},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {249-251},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Zhang-Yang-Deng/90,
AUTHOR = {Zhang, Jingzhong and Yang, Lu and Deng, Mike},
TITLE = {The parallel numerical method of mechanical theorem proving},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {253-271},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Casas-Fernandez-Camacho-Steyaert/90,
AUTHOR = {Casas, Rafael and Fern{\'a}ndez-Camacho, Mar{\'i}a-In{\'e}s and Steyaert, Jean-Marc},
TITLE = {Algebraic simplification in computer algebra: An analysis of bottom-up algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {273-298},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{He/90a,
AUTHOR = {He, Xin},
TITLE = {An efficient algorithm for edge coloring planar graphs with $\Delta$ colors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {299-312},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Babai-Pudlak-Rodl-Szemeredi/90,
AUTHOR = {Babai, L. and Pudl{\'a}k, P. and R{\"o}dl, V. and Szemeredi, E.},
TITLE = {Lower bounds to the complexity of symmetric Boolean functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {313-323},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hertrampf/90,
AUTHOR = {Hertrampf, Ulrich},
TITLE = {Relations among mod-classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {325-328},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Romeuf/90,
AUTHOR = {Romeuf, Jean-Fran{\c{c}}ois},
TITLE = {A polynomial algorithm for solving systems of two linear diophantine equations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {329-340},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Anselmo/90a,
AUTHOR = {Anselmo, M.},
TITLE = {Sur les codes zigzag et leur d{\'e}cidabilit{\'e}},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {341-354},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Szymanski/90a,
AUTHOR = {Szyma{\'n}ski, Jerzy},
TITLE = {On the complexity of algorithms on recursive trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {74},
PAGES = {355-361},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jacopini-Sontacchi/90,
AUTHOR = {Jacopini, G. and Sontacchi, G.},
TITLE = {Reversible parallel computation: An evolving space-model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {1-46},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kroger/90,
AUTHOR = {Kr{\"o}ger, Fred},
TITLE = {On the interpretability of arithmetic in temporal logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {47-60},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lavault/90,
AUTHOR = {Lavault, Christian},
TITLE = {Exact average message complexity values for distributed election on bidirectional rings of processors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {61-79},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Varricchio/90,
AUTHOR = {Varricchio, Stefano},
TITLE = {Factorizations of free monoids and unavoidable regularities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {81-89},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jerrum-Sinclair/90,
AUTHOR = {Jerrum, Mark and Sinclair, Alistair},
TITLE = {Fast uniform generation of regular graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {91-100},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Huwig-Poigne/90,
AUTHOR = {Huwig, Hagen and Poign{\'e}, Axel},
TITLE = {A note on inconsistencies caused by fixpoints in a cartesian closed category},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {101-112},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Aiken/90,
AUTHOR = {Aiken, Alexander},
TITLE = {A theory of compaction-based parallelization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {121-154},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Fuh-Mishra/90,
AUTHOR = {Fuh, You-chin and Mishra, Prateek},
TITLE = {Type inference with subtypes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {155-175},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Giegerich/90,
AUTHOR = {Giegerich, Robert},
TITLE = {Code selection by inversion of order-sorted derivors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {177-211},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Horwitz/90,
AUTHOR = {Horwitz, Susan},
TITLE = {Adding relational query facilities to software development environments},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {213-230},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wadler/90,
AUTHOR = {Wadler, Philip},
TITLE = {Deforestation: Transforming programs to eliminate trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {231-248},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Beigel/90a,
AUTHOR = {Beigel, Richard},
TITLE = {Bi-immunity results for cheatable sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {249-263},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Chen/90b,
AUTHOR = {Chen, Jian-er},
TITLE = {The difference between one tape and two tapes: with respect to reversal complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {265-278},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hoffmann-Main/90,
AUTHOR = {Hoffmann, Jochen and Main, Michael G.},
TITLE = {Results on NLC grammars with one-letter terminal alphabets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {279-294},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kim/90b,
AUTHOR = {Kim, Changwook},
TITLE = {Complexity and decidability for restricted classes of picture languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {295-311},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Robson/90a,
AUTHOR = {Robson, J.M.},
TITLE = {Strong time bounds: Non-computable bounds and a hierarchy theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {313-317},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bertossi-Luccio-Lodi-Pagli/90,
AUTHOR = {Bertossi, Alan A. and Luccio, Fabrizio and Lodi, Elena and Pagli, Linda},
TITLE = {String matching with weighted errors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {319-328},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Head/90,
AUTHOR = {Head, Tom},
TITLE = {The set of strings mapped into a submonoid by iterates of a morphism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {329-333},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Schmitt/90,
AUTHOR = {Schmitt, William},
TITLE = {Hopf algebras and identities in free partially commutative monoids},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {73},
PAGES = {335-340},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Budach/90,
AUTHOR = {Budach, Lothar},
TITLE = {Topological invariants of classification problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {3-26},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hashiguchi/90,
AUTHOR = {Hashiguchi, Kosaburo},
TITLE = {Improved limitedness theorems on finite automata with distance functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {27-38},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Carpi-Luca/90,
AUTHOR = {Carpi, Arturo and Luca, Aldo de},
TITLE = {Non-repetitive words relative to a rewriting system},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {39-53},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Restivo/90,
AUTHOR = {Restivo, Antonio},
TITLE = {Codes and local constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {55-64},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Simon/90a,
AUTHOR = {Simon, Imre},
TITLE = {Factorization forests of finite height},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {65-94},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ausiello-Nanni-Italiano/90,
AUTHOR = {Ausiello, Giuseppe and Nanni, Umberto and Italiano, Giuseppe F.},
TITLE = {Dynamic maintenance of directed hypergraphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {97-117},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Engeler/90,
AUTHOR = {Engeler, E.},
TITLE = {Combinatory differential fields},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {119-131},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Echahed/90,
AUTHOR = {Echahed, Rachid},
TITLE = {On completeness of narrowing strategies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {133-146},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Francon-Randrianarimanana-Schott/90,
AUTHOR = {Fran{\c{c}}on, J. and Randrianarimanana, B. and Schott, R.},
TITLE = {Analysis of dynamic algorithms in Knuth's model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {147-167},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gnaedig-Kirchner-Kirchner/90,
AUTHOR = {Gnaedig, Isabelle and Kirchner, Claude and Kirchner, H{\'e}l{\`e}ne},
TITLE = {Equational completion in order-sorted algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {169-202},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gorrieri-Marchetti-Montanari/90,
AUTHOR = {Gorrieri, Roberto and Marchetti, Sergio and Montanari, Ugo},
TITLE = {A$^2$CCS: Atomic actions for CCS},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {203-223},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kennaway/90,
AUTHOR = {Kennaway, Richard},
TITLE = {Implementing term rewrite languages in Dactl},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {225-249},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Klein-Wood/90,
AUTHOR = {Klein, Rolf and Wood, Derick},
TITLE = {A tight upper bound for the path length of AVL trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {251-264},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Larsen/90,
AUTHOR = {Larsen, Kim G.},
TITLE = {Proof systems or satisfiabilty in Hennessy-Milner logic with recursion},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {72},
PAGES = {265-288},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Aggarwal-Chandra-Snir/90,
AUTHOR = {Aggarwal, Alok and Chandra, Ashok K. and Snir, Marc},
TITLE = {Communication complexity of PRAMs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {3-28},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Culik/90,
AUTHOR = {Culik II, Karel},
TITLE = {New techniques for proving the decidability of equivalence problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {29-45},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gruska/90a,
AUTHOR = {Gruska, Jozef},
TITLE = {Synthesis, structure and power of systolic computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {47-77},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hartmanis/90,
AUTHOR = {Hartmanis, J.},
TITLE = {New developments in structural complexity theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {79-93},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kruskal-Rudolph-Snir/90a,
AUTHOR = {Kruskal, Clyde P. and Rudolph, Larry and Snir, Marc},
TITLE = {A complexity theory of efficient parallel algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {95-132},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Thiagarajan/90,
AUTHOR = {Thiagarajan, P.S.},
TITLE = {Some behavioural aspects of net theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {133-153},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Weijland/90,
AUTHOR = {Weijland, W.P.},
TITLE = {Semantics for logic programs without occur check},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {155-174},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Arcangeli-Pomian/90,
AUTHOR = {Arcangeli, Jean-Paul and Pomian, Christian},
TITLE = {Principles of plasma pattern and alternative structure compilation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {177-191},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Billaud/90,
AUTHOR = {Billaud, Michel},
TITLE = {Simple operational and denotational semantics for prolog with cut},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {193-208},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bulyonkov/90,
AUTHOR = {Bulyonkov, Mikhail},
TITLE = {Mixed computation and compilation: New approaches to old problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {209-226},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Galmiche/90,
AUTHOR = {Galmiche, Didier},
TITLE = {Constructive system for automatic program synthesis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {227-239},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Penjam/90,
AUTHOR = {Penjam, Jaan},
TITLE = {Computational and attribute models of formal languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {241-264},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sabelfeld/90,
AUTHOR = {Sabelfeld, Victor K.},
TITLE = {An algorithm deciding functional equivalence in a new class of program schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {265-279},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Senizergues/90,
AUTHOR = {S{\'e}nizergues, G{\'e}raud},
TITLE = {Some decision problems about controlled rewriting systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {281-346},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrig-Parisi-Presicce-Boehm-Rieckhoff-Dimitrovici-Grosse-Rhode/90,
AUTHOR = {Ehrig, Hartmut and Parisi-Presicce, Francesco and Boehm, Paul and Rieckhoff, Catharina and Dimitrovici, Cristian and Grosse-Rhode, Martin},
TITLE = {Combining data type and recursive process specifications using projection algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {347-380},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Dulucq-Gouyou-Beauchamps/90,
AUTHOR = {Dulucq, S. and Gouyou-Beauchamps, D.},
TITLE = {Sur les facteurs des suites de Sturm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {381-400},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gibbons-Rytter/90,
AUTHOR = {Gibbons, Alan and Rytter, Wojciech},
TITLE = {Optimally edge-colouring outerplanar graphs in NC},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {401-411},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Manes/90,
AUTHOR = {Manes, E.G.},
TITLE = {A transformational characterization of if-then-else},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {413-417},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Chrobak-Szymacha-Krawczyk/90,
AUTHOR = {Chrobak, M. and Szymacha, T. and Krawczyk, A.},
TITLE = {A data structure useful for finding Hamiltonian cycles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {419-424},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Skandalis/90,
AUTHOR = {Skandalis, Kostas},
TITLE = {Non-recursiveness of the operations on real numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {425-429},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wagner/90,
AUTHOR = {Wagner, Eric G.},
TITLE = {Algebras, polynomials and programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {3-34},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bainbridge-Freyd-Scedrov-Scott/90,
AUTHOR = {Bainbridge, E.S. and Freyd, P.J. and Scedrov, A. and Scott, P.J.},
TITLE = {Functorial polymorphism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {35-64},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
NOTE = {see Corrigendum in Theor.~Comput.~Sci.~71, 431},
}
@article{Barr/90,
AUTHOR = {Barr, Michael},
TITLE = {Fixed points in cartesian closed categories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {65-72},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bloom/90a,
AUTHOR = {Bloom, Stephen L.},
TITLE = {A note on guarded theories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {73-83},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Mulry/90,
AUTHOR = {Mulry, Philip S.},
TITLE = {Categorical fixed point semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {85-97},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Nielson-Nielson/90,
AUTHOR = {Nielson, Hanne Riis and Nielson, Flemming},
TITLE = {Functional completeness of the mixed $\lambda$-calculus and combinatory logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {99-126},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Pasztor/90a,
AUTHOR = {Pasztor, Ana},
TITLE = {Recursive programs and denotational semantics in absolute logics of programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {127-150},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bottinger/90,
AUTHOR = {B{\"o}ttinger, Claudia},
TITLE = {On Scott's thesis for domains of information and well-quasi-orderings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {151-158},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wells/90,
AUTHOR = {Wells, Charles},
TITLE = {A generalization of the concept of sketch},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {159-178},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Tiuryn-Benson/90,
AUTHOR = {Tiuryn, Jerzy and Benson, David B.},
TITLE = {Fixed points in free process algebras, Part II},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {179-192},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Longo-Moggi/90,
AUTHOR = {Longo, Giuseppe and Moggi, Eugenio},
TITLE = {A category-theoretic characterization of functional completeness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {193-211},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Senizergues/90a,
AUTHOR = {S{\'e}nizergues, G{\'e}raud},
TITLE = {A characterisation of deterministic context-free languages by means of right-congruences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {213-232},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jung/90,
AUTHOR = {Jung, Achim},
TITLE = {Cartesian closed categories of algebraic CPOs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {233-250},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gambosi-Nesetril-Talamo/90,
AUTHOR = {Gambosi, Giorgio and Ne{\v{s}}et{\v{r}}il, Jaroslav and Talamo, Maurizio},
TITLE = {On locally presented posets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {251-260},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Terlutte/90,
AUTHOR = {Terlutte, Alain},
TITLE = {Cyclic rational transductions and polynomials of rational functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {261-271},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrenfeucht-Rozenberg/90b,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {Theory of 2-structures, part I: Clans, basic subclasses, and morphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {277-303},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrenfeucht-Rozenberg/90c,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {Theory of 2-structures, part II: Representation through labeled tree families},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {305-342},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrenfeucht-Rozenberg/90,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {Primitivity is hereditary for 2-structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {70},
PAGES = {343-358},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}