@article{Boudol-Larsen/92,
AUTHOR = {Boudol, G{\'e}rard and Larsen, Kim G.},
TITLE = {Graphical versus logical specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {3-20},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Cai-Paige-Tarjan/92,
AUTHOR = {Cai, J. and Paige, R. and Tarjan, R.},
TITLE = {More efficient bottom-up multi-pattern matching in trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {21-60},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Caucal/92a,
AUTHOR = {Caucal, Didier},
TITLE = {On the regular structure of prefix rewriting},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {61-86},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kounalis/92,
AUTHOR = {Kounalis, Emmanuel},
TITLE = {Testing for the ground (co-)reducibility property in term-rewriting systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {87-117},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Schwartzbach/92,
AUTHOR = {Schwartzbach, Michael I.},
TITLE = {Interpretations of recursively defined types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {119-134},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Seidl/92,
AUTHOR = {Seidl, Helmut},
TITLE = {Single-valuedness of tree transducers is decidable in polynomial time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {135-181},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Frougny/92c,
AUTHOR = {Frougny, Christiane},
TITLE = {Confluent linear numeration systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {183-219},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Michel/92a,
AUTHOR = {Michel, Pascal},
TITLE = {Complexity of logical theories involving coprimality},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {221-241},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{El-Taha-Stidham/92,
AUTHOR = {El-Taha, Muhammad and Stidham, Shaler, Jr.},
TITLE = {Deterministic analysis of queueing systems with heterogeneous servers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {243-264},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bern-Karloff-Raghavan-Schieber/92,
AUTHOR = {Bern, Marshall W. and Karloff, Howard J. and Raghavan, Prabhakar and Schieber, Baruch},
TITLE = {Fast geometric approximation techniques and geometric embedding problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {265-281},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Hausser/92,
AUTHOR = {Hausser, Roland},
TITLE = {Complexity in left-associative grammar},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {283-308},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bodlaender-Kratsch/92,
AUTHOR = {Bodlaender, Hans L. and Kratsch, Dieter},
TITLE = {The complexity of coloring games on perfect graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {309-326},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Robson/92a,
AUTHOR = {Robson, J.M.},
TITLE = {More languages of generalised star height 1},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {327-335},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Villemaire/92a,
AUTHOR = {Villemaire, Roger},
TITLE = {The theory of $\langle N, +, V_k, V_l \rangle$ is undecidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {337-349},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Damm-Meinel/92,
AUTHOR = {Damm, Carsten and Meinel, Christoph},
TITLE = {Separating complexity classes related to $\Omega$-decision trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {351-360},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Huang-Liu-Viswanathan/92,
AUTHOR = {Huang, Shou-Hsuan Stephen and Liu, Hongfei and Viswanathan, Venkatraman},
TITLE = {A sublinear parallel algorithm for some dynamic programming problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {361-371},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Subramanian-Siromoney-Mathew/92,
AUTHOR = {Subramanian, K.G. and Siromoney, Rani and Mathew, Lisa},
TITLE = {Lyndon trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {373-383},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Razborov/92b,
AUTHOR = {Razborov, A.A.},
TITLE = {On the distributional complexity of disjointness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {385-390},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Andersson/92,
AUTHOR = {Andersson, Arne},
TITLE = {Comments on ``On the balance property of Patricia tries: External path length viewpoint''},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {391-393},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kirschenhofer-Prodinger-Szpankowski/92a,
AUTHOR = {Kirschenhofer, Peter and Prodinger, Helmut and Szpankowski, Wojciech},
TITLE = {Probabilistic modeling of data structures on words---A reply to Professor Andersson's letter},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {106},
PAGES = {395-400},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Dung/92,
AUTHOR = {Dung, Phan Minh},
TITLE = {On the relations between stable and well-founded semantics of logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {7-25},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kanchanasut-Stuckey/92,
AUTHOR = {Kanchanasut, Kanchana and Stuckey, Peter J.},
TITLE = {Transforming normal logic programs to constraint logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {27-56},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Sato/92,
AUTHOR = {Sato, Taisuke},
TITLE = {Equivalence-preserving first-order unfold/fold transformation systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {57-84},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Gabbrielli-Levi/92,
AUTHOR = {Gabbrielli, Maurizio and Levi, Giorgio},
TITLE = {Unfolding and fixpoint semantics of concurrent constraint logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {85-128},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Hofbauer/92,
AUTHOR = {Hofbauer, Dieter},
TITLE = {Termination proofs by multiset path orderings imply primitive recursive derivation lengths},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {129-140},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Debart-Enjalbert-Lescot/92,
AUTHOR = {Debart, Fran{\c{c}}oise and Enjalbert, Patrice and Lescot, Madeleine},
TITLE = {Multimodal logic programming using equational and order-sorted logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {141-166},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Mason-Talcott/92,
AUTHOR = {Mason, Ian and Talcott, Carolyn},
TITLE = {Inferring the equivalence of functional programs that mutate data},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {167-215},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Goguen-Meseguer/92,
AUTHOR = {Goguen, Joseph A. and Meseguer, Jos{\'e}},
TITLE = {Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {217-273},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Zhang/92j,
AUTHOR = {Zhang, Ming-Hua},
TITLE = {Data types with errors and exceptions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {275-299},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Bol/92,
AUTHOR = {Bol, Roland N.},
TITLE = {Generalizing completeness results for loop checks in logic programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {3-28},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Jouannaud-Marche/92,
AUTHOR = {Jouannaud, Jean-Pierre and March{\'e}, Claude},
TITLE = {Termination and completion modulo associativity, commutativity and identity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {29-51},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hennicker/92,
AUTHOR = {Hennicker, Rolf},
TITLE = {A semi-algorithm for algebraic implementation proofs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {53-87},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Limongelli-Temperini/92,
AUTHOR = {Limongelli, C. and Temperini, M.},
TITLE = {Abstract specification of structures and methods in symbolic mathematical computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {89-107},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Stickel/92,
AUTHOR = {Stickel, Mark E.},
TITLE = {A {Prolog} technology theorem prover: a new exposition and implementation in {Prolog}},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {109-128},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Talcott/92,
AUTHOR = {Talcott, Carolyn},
TITLE = {A theory for program and data type specification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {129-159},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Straubing-Weil/92,
AUTHOR = {Straubing, H. and Weil, P.},
TITLE = {On a conjecture concerning dot-depth two languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {161-183},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Kim-Sudborough/92,
AUTHOR = {Kim, Changwook and Sudborough, Ivan Hal},
TITLE = {On reversal-bounded picture languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {185-206},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Takada/92,
AUTHOR = {Takada, Yuji},
TITLE = {Learning semilinear sets from examples and via queries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {207-233},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Weir/92,
AUTHOR = {Weir, David J.},
TITLE = {A geometric hierarchy beyond context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {235-261},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bovet-Crescenzi-Silvestri/92,
AUTHOR = {Bovet, Daniel P. and Crescenzi, Pierluigi and Silvestri, Riccardo},
TITLE = {A uniform approach to define complexity classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {263-283},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Jansen/92,
AUTHOR = {Jansen, Klaus},
TITLE = {Processor optimization for flow graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {285-298},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Leermakers/92,
AUTHOR = {Leermakers, Ren{\'e}},
TITLE = {Recursive ascent parsing: From Earley to Marcus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {299-312},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Leermakers-Augusteijn-Kruseman_Aretz/92,
AUTHOR = {Leermakers, Ren{\'e} and Augusteijn, Lex and Kruseman Aretz, Frans E.J.},
TITLE = {A functional LR-parser},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {104},
PAGES = {313-323},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Beigel-Gill/92,
AUTHOR = {Beigel, Richard and Gill, John},
TITLE = {Counting classes: thresholds, parity, mods, and fewness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {3-23},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Cai-Condon-Lipton/92,
AUTHOR = {Cai, Jin-yi and Condon, Anne and Lipton, Richard J.},
TITLE = {On games of incomplete information},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {25-38},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Clerbout-Roos/92,
AUTHOR = {Clerbout, M. and Roos, Y.},
TITLE = {Semicommutations and algebraic languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {39-49},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Corradini-Montanari/92,
AUTHOR = {Corradini, Andrea and Montanari, Ugo},
TITLE = {An algebraic semantics for structured transition systems and its application to logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {51-106},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Das-Joseph/92,
AUTHOR = {Das, Gautam and Joseph, Deborah},
TITLE = {Minimum vertex hulls for polyhedral domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {107-135},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Lambert/92a,
AUTHOR = {Lambert, Jean-Luc},
TITLE = {Sorting the sums $(x_i + y_j)$ in $O(n^2)$ comparisons},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {137-141},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Thomas/92b,
AUTHOR = {Thomas, Wolfgang},
TITLE = {Infinite trees and automaton-definable relations over $\omega$-words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {143-159},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bauderon/92,
AUTHOR = {Bauderon, Michel},
TITLE = {Infinite hypergraphs. II. Systems of recursive equations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {165-190},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hamaguchi-Hiraishi-Yajima/92,
AUTHOR = {Hamaguchi, Kiyoharu and Hiraishi, Hiromi and Yajima, Shuzo},
TITLE = {$\infty$-regular temporal logic and its model checking problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {191-204},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Palopoli/92,
AUTHOR = {Palopoli, Luigi},
TITLE = {Testing logic programs for local stratification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {205-234},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Felleisen-Hieb/92,
AUTHOR = {Felleisen, Matthias and Hieb, Robert},
TITLE = {The revised report on the syntactic theories of sequential control and state},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {235-271},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Kurihara-Ohuchi/92,
AUTHOR = {Kurihara, Masahito and Ohuchi, Azuma},
TITLE = {Modularity of simple termination of term rewriting systems with shared constructors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {273-282},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Kim-Cho/92,
AUTHOR = {Kim, Byeong Man and Cho, Jung Wan},
TITLE = {A new subsumption method in the connection graph proof procedure},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {283-309},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Gunter/92,
AUTHOR = {Gunter, Carl A.},
TITLE = {The mixed powerdomain},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {311-334},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Maggiolo-Schettini-Winkowski/92,
AUTHOR = {Maggiolo-Schettini, Andrea and Winkowski, J{\'o}zef},
TITLE = {Towards an algebra for timed behaviours},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {335-363},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Marek-Subrahmanian/92,
AUTHOR = {Marek, W. and Subrahmanian, V.S.},
TITLE = {The relationship between stable, supported, default and autoepistemic semantics for general logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {365-386},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mairson/92,
AUTHOR = {Mairson, Harry G.},
TITLE = {A simple proof of a theorem of Statman},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {387-394},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Streicher/92,
AUTHOR = {Streicher, Thomas},
TITLE = {Independence of the induction principle and the axiom of choice in the pure calculus of constructions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {395-408},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Dauchet/92,
AUTHOR = {Dauchet, Max},
TITLE = {Simulation of Turing machines by a regular rewrite rule},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {103},
PAGES = {409-420},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Grue/92,
AUTHOR = {Grue, Klaus},
TITLE = {Map theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {1-133},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{van_Bakel/92,
AUTHOR = {van Bakel, Steffen},
TITLE = {Complete restrictions of the intersection type discipline},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {135-163},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Devillers/92a,
AUTHOR = {Devillers, Raymond},
TITLE = {Maximality preserving bisimulation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {165-183},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Esparza-Silva/92,
AUTHOR = {Esparza, Javier and Silva, Manuel},
TITLE = {A polynomial-time algorithm to decide liveness of bounded free choice nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {185-205},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Dosen/92,
AUTHOR = {Do{\v{s}}en, Kosta},
TITLE = {Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {207-214},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bruschi/92,
AUTHOR = {Bruschi, Danilo},
TITLE = {Strong separations of the polynomial hierarchy with oracles: Constructive separations by immune and simple sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {215-252},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Skubiszewski/92,
AUTHOR = {Skubiszewski, Marcin},
TITLE = {Binary periodic synchronizing sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {253-281},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Dagum-Luby/92,
AUTHOR = {Dagum, Paul and Luby, Michael},
TITLE = {Approximating the permanent of graphs with large factors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {283-305},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mirwald-Schnorr/92a,
AUTHOR = {Mirwald, R. and Schnorr, C.P.},
TITLE = {The multiplicative complexity of quadratic boolean forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {307-328},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Halpenny-Smyth/92,
AUTHOR = {Halpenny, Liam and Smyth, Christopher J.},
TITLE = {A classification of minimal standard-path $2\times 2$ switching networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {329-354},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Prasad-Iyengar/92,
AUTHOR = {Prasad, Lakshman and Iyengar, S.S.},
TITLE = {An asymptotic equality for the number of necklaces in a shuffle-exchange network},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {355-365},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Courcelle/92,
AUTHOR = {Courcelle, Bruno},
TITLE = {The monadic second-order logic of graphs VII: Graphs as relational structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {3-33},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Gradel/92,
AUTHOR = {Gr{\"a}del, Erich},
TITLE = {Capturing complexity classes by fragments of second-order logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {35-57},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mazoyer-Reimen/92,
AUTHOR = {Mazoyer, J. and Reimen, N.},
TITLE = {A linear speed-up theorem for cellular automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {59-98},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Michel/92,
AUTHOR = {Michel, Pascal},
TITLE = {A survey of space complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {99-132},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Peladeau/92a,
AUTHOR = {P{\'e}ladeau, Pierre},
TITLE = {Formulas, regular languages and Boolean circuits},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {133-141},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{de_Rougemont/92,
AUTHOR = {de Rougemont, Michel},
TITLE = {The functional dimension of inductive definitions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {143-158},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Best-Desel-Esparza/92,
AUTHOR = {Best, Eike and Desel, J{\"o}rg and Esparza, Javier},
TITLE = {Traps characterize home states in free choice systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {161-176},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Brookes-Geva/92,
AUTHOR = {Brookes, Stephen and Geva, Shai},
TITLE = {Towards a theory of parallel algorithms on concrete data structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {177-221},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bloom-Meyer/92,
AUTHOR = {Bloom, Bard and Meyer, Albert R.},
TITLE = {Experimenting with process equivalence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {223-237},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{de_Boer-Kok-Palamidessi-Rutten/92,
AUTHOR = {de Boer, F.S. and Kok, J.N. and Palamidessi, C. and Rutten, J.J.M.M.},
TITLE = {From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {239-263},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Gunawardena/92,
AUTHOR = {Gunawardena, Jeremy},
TITLE = {Causal automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {265-288},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hooman-Ramesh-Roever/92,
AUTHOR = {Hooman, J.J.M. and Ramesh, S. and Roever, W.P. de},
TITLE = {A compositional axiomatization of Statecharts},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {289-335},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Katz-Peled/92,
AUTHOR = {Katz, Shmuel and Peled, Doron},
TITLE = {Defining conditional independence using collapses},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {101},
PAGES = {337-359},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Trahan-Loui-Ramachandran/92,
AUTHOR = {Trahan, Jerry L. and Loui, Michael C. and Ramachandran, Vijaya},
TITLE = {Multiplication, division, and shift instructions in parallel random access machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {1-44},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Goerdt/92b,
AUTHOR = {Goerdt, Andreas},
TITLE = {Charaterizing complexity classes by higher type primitive recursive definitions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {45-66},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{de_Luca-Varricchio/92a,
AUTHOR = {de Luca, Aldo and Varricchio, Stefano},
TITLE = {On noncounting regular classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {67-104},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Holte-Rosier-Tulchinsky-Varvel/92,
AUTHOR = {Holte, Robert and Rosier, Louis and Tulchinsky, Igor and Varvel, Donald},
TITLE = {Pinwheel scheduling with two distinct numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {105-135},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Benninger-Schmid/92,
AUTHOR = {Benninger, Daniel and Schmid, J{\"u}rg},
TITLE = {Effective subdirect decomposition: A case study},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {137-156},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Board-Pitt/92,
AUTHOR = {Board, Raymond and Pitt, Leonard},
TITLE = {On the necessity of Occam algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {157-184},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Santoro-Sidney-Sidney/92,
AUTHOR = {Santoro, Nicola and Sidney, Jeffrey B. and Sidney, Stuart J.},
TITLE = {A distributed selection algorithm and its expected communication complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {185-204},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Toda-Watanabe/92,
AUTHOR = {Toda, Seinosuke and Watanabe, Osamu},
TITLE = {Polynomial-time 1-Turing reductions from \#PH to \#P},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {205-221},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Erdos-Hsu/92,
AUTHOR = {Erd{\"o}s, Paul and Hsu, D. Frank},
TITLE = {Distributed loop network with minimum transmission delay},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {223-241},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Prodinger/92,
AUTHOR = {Prodinger, Helmut},
TITLE = {Hypothetical analyses: Approximate counting in the style of Knuth, path length in the style of Flajolet},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {243-251},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Beame-Brisson-Ladner/92,
AUTHOR = {Beame, Paul and Brisson, Erik and Ladner, Richard},
TITLE = {The complexity of computing symmetric functions using threshold circuits},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {253-265},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Moss-Meseguer-Goguen/92,
AUTHOR = {Moss, Lawrence S. and Meseguer, Jos{\'e} and Goguen, Joseph A.},
TITLE = {Final algebras, cosemicomputable algebras and degrees of unsolvability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {267-302},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Dezani-Ciancaglini-Hindley/92,
AUTHOR = {Dezani-Ciancaglini, Mariangiola and Hindley, J. Roger},
TITLE = {Intersection types for combinatory logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {303-324},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bartha/92a,
AUTHOR = {Bartha, Mikl{\'o}s},
TITLE = {Foundations of a theory of synchronous systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {325-346},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Wang/92e,
AUTHOR = {Wang, Ke},
TITLE = {On characterizing boundedness of database schemes with bounded dependencies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {347-364},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Back-Wright/92,
AUTHOR = {Back, R.J.R. and Wright, J. Von},
TITLE = {Combining angels, demons and miracles in program specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {365-383},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Meinke/92,
AUTHOR = {Meinke, Karl},
TITLE = {Universal algebra in higher types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {100},
PAGES = {385-417},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Cazanescu-Stefanescu/92,
AUTHOR = {C{\u{a}}z{\u{a}}nescu, Virgil-Emil and {\c{S}}tef{\u{a}}nescu, Gheorghe},
TITLE = {A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {1-63},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hein/92,
AUTHOR = {Hein, James},
TITLE = {Completions of perpetual logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {65-78},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Lambert/92,
AUTHOR = {Lambert, J.L.},
TITLE = {A structure to decide reachability in Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {79-104},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hesselink/92,
AUTHOR = {Hesselink, Wim H.},
TITLE = {Processes and formalisms for unbounded choice},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {105-119},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Priese-Nolte/92,
AUTHOR = {Priese, Lutz and Nolte, Doris},
TITLE = {Strong fairness and ultra metrics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {121-140},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mulry/92,
AUTHOR = {Mulry, Philip S.},
TITLE = {Monads and algebras in the semantics of partial data types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {141-155},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Rajasekaran-Reif/92,
AUTHOR = {Rajasekaran, Sanguthevar and Reif, John H.},
TITLE = {Nested annealing: A provable improvement to simulated annealing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {157-176},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bozapalidis/92,
AUTHOR = {Bozapalidis, Symeon},
TITLE = {Alphabetic tree relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {177-211},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Nummenmaa/92,
AUTHOR = {Nummenmaa, J.},
TITLE = {Constructing compact rectilinear planar layouts using canonical representation of planar graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {213-230},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Neraud/92,
AUTHOR = {N{\'e}raud, Jean},
TITLE = {On the rank of the subsets of a free monoid},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {231-241},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Ibarra-Tran/92a,
AUTHOR = {Ibarra, Oscar H. and Tr{\^a}n, Nicholas Q.},
TITLE = {On space-bounded synchronized alternating Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {243-264},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Zhang/92i,
AUTHOR = {Zhang, Shuhua},
TITLE = {Efficient simplicity testing of automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {265-278},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Balcazar-Schoning/92,
AUTHOR = {Balc{\'a}zar, Jos{\'e} L. and Sch{\"o}ning, Uwe},
TITLE = {Logarithmic advice classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {279-290},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Varricchio/92a,
AUTHOR = {Varricchio, Stefano},
TITLE = {On the decidability of the equivalence problem for partially commutative rational power series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {291-299},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Ibarra-Jiang-Wang/92,
AUTHOR = {Ibarra, Oscar H. and Jiang, Tao and Wang, Hui},
TITLE = {A characterization of exponential-time languages by alternating context-free grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {301-313},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Fouks/92,
AUTHOR = {Fouks, Jean-Denis},
TITLE = {Tseitin's formulas revisited},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {315-326},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mosse/92,
AUTHOR = {Moss{\'e}, Brigitte},
TITLE = {Puissances de mots et reconnaissabilit{\'e} des points fixes d'une substitution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {327-334},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hoang/92,
AUTHOR = {Ho{\`a}ng, Chinh T.},
TITLE = {A parallel algorithm for minimum weighted colouring of triangulated graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {99},
PAGES = {335-344},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Choffrut/92,
AUTHOR = {Choffrut, Christian},
TITLE = {Rational relations and rational series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {5-13},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Karhumaki/92,
AUTHOR = {Karhum{\"a}ki, Juhani},
TITLE = {Multiplicities: A deterministic view of nondeterminism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {15-25},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Karner/92a,
AUTHOR = {Karner, Georg},
TITLE = {On transductions of formal power series over complete semirings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {27-39},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Varricchio/92,
AUTHOR = {Varricchio, Stefano},
TITLE = {Rational series with coefficients in a commutative ring},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {41-50},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bjorner-Reutenauer/92,
AUTHOR = {Bj{\"o}rner, Anders and Reutenauer, Christophe},
TITLE = {Rationality of the M{\"o}bius function of subword order},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {53-63},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Delest-Fedou/92,
AUTHOR = {Delest, M.P. and Fedou, J.M.},
TITLE = {Attribute grammars are useful for combinatorics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {65-76},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Cauchon/92,
AUTHOR = {Cauchon, G.},
TITLE = {S{\'e}ries de Malcev-Neumann sur le groupe libre et questions de rationalit{\'e}},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {79-97},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Dumas/92,
AUTHOR = {Dumas, Fran{\c{c}}ois},
TITLE = {Skew power series rings with general commutation formula},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {99-114},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mourrain/92,
AUTHOR = {Mourrain, Bernard},
TITLE = {Computable identities in the algebra of formal matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {115-133},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Diop/92,
AUTHOR = {Diop, Sette},
TITLE = {Differential-algebraic decision methods and some applications to system theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {137-161},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Allouche-Shallit/92,
AUTHOR = {Allouche, Jean-Paul and Shallit, Jeffrey},
TITLE = {The ring of $k$-regular sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {163-197},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Schwer/92a,
AUTHOR = {Schwer, Sylviane R.},
TITLE = {The context-freeness of the languages associated with vector addition systems is decidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {199-247},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Santean-Kari/92,
AUTHOR = {Santean, Lila and Kari, Jarkko},
TITLE = {The impact of the number of cooperating grammars on the generative power},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {249-262},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Yen/92a,
AUTHOR = {Yen, Hsu-Chung},
TITLE = {A multiparameter analysis of domino tiling with an application to concurrent systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {263-287},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Palis-Shende/92,
AUTHOR = {Palis, Michael A. and Shende, Sunil M.},
TITLE = {Upper bounds on recognition of a hierarchy of non-context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {289-319},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Van-Huy/92,
AUTHOR = {Van, Do Long and Huy, Phan Trung},
TITLE = {Varieties of finite monoids and B{\"u}chi-McNaughton theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {321-337},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Chrobak-Larmore/92,
AUTHOR = {Chrobak, Marek and Larmore, Lawrence L.},
TITLE = {HARMONIC is 3-competitive for two servers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {339-346},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Amtoft-Traff/92,
AUTHOR = {Amtoft, Torben and Tr{\"a}ff, Jesper Larsson},
TITLE = {Partial memorization for obtaining linear time behavior of a 2DPDA},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {98},
PAGES = {347-356},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Girard-Scedrov-Scott/92,
AUTHOR = {Girard, Jean-Yves and Scedrov, Andre and Scott, Philip J.},
TITLE = {Bounded linear logic: A modular approach to polynomial-time computability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {1-66},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{German/92,
AUTHOR = {German, Steven M.},
TITLE = {Semantics and reasoning with free procedures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {67-81},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Perraud-Roux-Huou/92,
AUTHOR = {Perraud, Jean and Roux, Olivier and Huou, Marc},
TITLE = {Operational semantics of a kernel of the language {ELECTRE}},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {83-103},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Monfroglio/92,
AUTHOR = {Monfroglio, Angelo},
TITLE = {Integer programs for logic constraint satisfaction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {105-130},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Darondeau-Nolte-Priese-Yoccoz/92,
AUTHOR = {Darondeau, Philippe and Nolte, Doris and Priese, Lutz and Yoccoz, Serge},
TITLE = {Fairness, distances and degrees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {131-142},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Baratella/92,
AUTHOR = {Baratella, Stefano},
TITLE = {A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {143-156},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Weibel/92,
AUTHOR = {Weibel, Trudy},
TITLE = {Extension of combinatory logic to a theory of combinatory representation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {157-173},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Doets/92,
AUTHOR = {Doets, Kees},
TITLE = {A slight strengthening of a theorem of Blair and Kunen},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {175-181},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Krentel/92,
AUTHOR = {Krentel, Mark W.},
TITLE = {Generalizations of Opt P to the polynomial hierarchy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {183-198},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Watanabe-Tang/92,
AUTHOR = {Watanabe, Osamu and Tang, Shouwen},
TITLE = {On polynomial-time Turing and many-one completeness in PSPACE},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {199-215},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Yoo-Hashiguchi/92,
AUTHOR = {Yoo, Heekeun and Hashiguchi, Kosaburo},
TITLE = {Extended regular expressions of arbitrary star degrees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {217-231},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Muller-Saoudi-Schupp/92,
AUTHOR = {Muller, David E. and Saoudi, Ahmed and Schupp, Paul E.},
TITLE = {Alternating automata, the weak monadic theory of trees and its complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {233-244},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Karner/92,
AUTHOR = {Karner, Georg},
TITLE = {Nivat's theorem for pushdown transducers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {245-262},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Shore-Slaman/92,
AUTHOR = {Shore, Richard A. and Slaman, Theodore A.},
TITLE = {The p-T-degrees of the recursive sets: Lattice embeddings, extensions of embeddings and the two-quantifier theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {263-284},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hromkovic-Lozkin-Rybko-Sapozenko-Skalikova/92,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Lo{\v{z}}kin, Sergej A. and Rybko, Andrej I. and Sapo{\v{z}}enko, Alexander A. and {\v{S}}kalikova, Nade{\v{z}}da A.},
TITLE = {Lower bounds on the area complexity of Boolean circuits},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {285-300},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Guaiana-Restivo-Salemi/92,
AUTHOR = {Guaiana, Giovanna and Restivo, Antonio and Salemi, Sergio},
TITLE = {Star-free trace languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {301-311},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Nielsen-Rozenberg-Thiagarajan/92,
AUTHOR = {Nielsen, M. and Rozenberg, G. and Thiagarajan, P.S.},
TITLE = {Elementary transition systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {3-33},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mukund-Thiagarajan/92,
AUTHOR = {Mukund, Madhavan and Thiagarajan, P.S.},
TITLE = {A logical characterization of well branching event structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {35-72},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Meseguer/92,
AUTHOR = {Meseguer, Jos{\'e}},
TITLE = {Conditional rewriting logic as a unified model of concurrency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {73-155},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bradfield-Stirling/92,
AUTHOR = {Bradfield, Julian and Stirling, Colin},
TITLE = {Local model checking for infinite state spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {157-174},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Best-Koutny/92,
AUTHOR = {Best, Eike and Koutny, Maciej},
TITLE = {Petri nets semantics of priority systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {175-215},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Berry-Boudol/92,
AUTHOR = {Berry, G{\'e}rard and Boudol, G{\'e}rard},
TITLE = {The chemical abstract machine},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {217-248},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Astesiano-Giovini-Reggio/92,
AUTHOR = {Astesiano, Egidio and Giovini, Alessandro and Reggio, Gianna},
TITLE = {Observational structures and their logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {249-283},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Garg-Ragunath/92,
AUTHOR = {Garg, Vijay K. and Ragunath, M.T.},
TITLE = {Concurrent regular expressions and their relationship to Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {285-304},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Huynh/92a,
AUTHOR = {Huynh, Dung T.},
TITLE = {Nonuniform complexity and the randomness of certain complete languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {305-324},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Ito-Jurgensen-Shyr-Thierrin/92,
AUTHOR = {Ito, M. and J{\"u}rgensen, H. and Shyr, H.J. and Thierrin, G.},
TITLE = {Languages whose $n$-element subsets are codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {325-344},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Barua/92,
AUTHOR = {Barua, Rana},
TITLE = {The Hausdorff-Kuratowski hierarchy of $\omega$-regular languages and a hierarchy of Muller automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {345-360},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Plambeck/92,
AUTHOR = {Plambeck, Thane E.},
TITLE = {Daisies, Kayles, and the Sibert-Conway decomposition in mis{\`e}re octal games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {361-388},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Ferguson/92,
AUTHOR = {Ferguson, Thomas S.},
TITLE = {Mate with bishop and knight in kriegspiel},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {389-403},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Duchamp-Krob/92,
AUTHOR = {Duchamp, G{\'e}rard and Krob, Daniel},
TITLE = {On the partially commutative shuffle product},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {405-410},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Slobodova/92,
AUTHOR = {Slobodov{\'a}, Anna},
TITLE = {Some properties of space-bounded synchronized alternating Turing machines with universal states only},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {96},
PAGES = {411-419},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Vianu-Vossen/92,
AUTHOR = {Vianu, Victor and Vossen, Gottfried},
TITLE = {Conceptual level concurrency control of relational update transactions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {1-42},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Giordano-Martelli-Rossi/92,
AUTHOR = {Giordano, Laura and Martelli, Alberto and Rossi, Gianfranco},
TITLE = {Extending Horn clause logic with implication goals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {43-74},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Sain/92,
AUTHOR = {Sain, Ildik{\'o}},
TITLE = {Temporal logics need their clocks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {75-95},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Arikawa-Shinohara-Yamamoto/92,
AUTHOR = {Arikawa, Setsuo and Shinohara, Takeshi and Yamamoto, Akihiro},
TITLE = {Learning elementary formal systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {97-113},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bellin-Ketonen/92,
AUTHOR = {Bellin, Gianluigi and Ketonen, Jussi},
TITLE = {A decision procedure revisited: Notes on direct logic, linear logic and its implementation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {115-142},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Jacobs-Margaria-Zacchi/92,
AUTHOR = {Jacobs, Bart and Margaria, Ines and Zacchi, Maddalena},
TITLE = {Filter models with polymorphic types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {143-158},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Schwer/92,
AUTHOR = {Schwer, Sylviane R.},
TITLE = {Fine covers of a VAS language},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {159-168},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Beauquier/92,
AUTHOR = {Beauquier, Joffroy},
TITLE = {Two distributed problems involving Byzantine processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {169-185},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Moulin_Ollagnier/92,
AUTHOR = {Moulin Ollagnier, Jean},
TITLE = {Proof of Dejean's conjecture for alphabets with 5,6,7,8,9,10 and 11 letters},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {187-205},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Quinton-Robert/92,
AUTHOR = {Quinton, Patrice and Robert, Yves},
TITLE = {Systolic convolution of arithmetic functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {207-229},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Rabani-Galil/92,
AUTHOR = {Rabani, Yuval and Galil, Zvi},
TITLE = {On the space complexity of some algorithms for sequence comparison},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {231-244},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Ausiello-Italiano-Marchetti-Spaccamela-Nanni/92,
AUTHOR = {Ausiello, Giorgio and Italiano, Giuseppe F. and Marchetti-Spaccamela, Alberto and Nanni, Umberto},
TITLE = {On-line computation of minimal and maximal length paths},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {245-261},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Zhang/92h,
AUTHOR = {Zhang, Shuhua},
TITLE = {Polynomial-time algorithms for testing strong isomorphism and computing the automorphism group of $R$-strongly connected automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {263-277},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Pierre/92,
AUTHOR = {Pierre, Laurent},
TITLE = {Rational indexes of generators of the cone of context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {279-305},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Spencer/92a,
AUTHOR = {Spencer, Joel},
TITLE = {Ulam's searching game with a fixed number of lies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {307-321},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Akl-Cosnard-Ferreira/92,
AUTHOR = {Akl, Selim G. and Cosnard, Michel and Ferreira, Afonso G.},
TITLE = {Data-movement-intensive problems: Two folk theorems in parallel computation revisited},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {95},
PAGES = {323-337},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Waldmann/92,
AUTHOR = {Waldmann, Uwe},
TITLE = {Semantics of order-sorted specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {1-35},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Lamarche/92,
AUTHOR = {Lamarche, Fran{\c{c}}ois},
TITLE = {Quantitative domains and infinitary algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {37-62},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Filippenko-Morris/92,
AUTHOR = {Filippenko, I. and Morris, F.L.},
TITLE = {Domains for logic programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {63-99},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Manca-Salibra/92,
AUTHOR = {Manca, Vincenzo and Salibra, Antonino},
TITLE = {Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {101-124},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Caspi/92,
AUTHOR = {Caspi, Paul},
TITLE = {Clocks in dataflow languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {125-140},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Koutny/92a,
AUTHOR = {Koutny, Maciej},
TITLE = {Adequacy-preserving transformations of COSY path programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {141-158},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Allouche-Morton-Shallit/92,
AUTHOR = {Allouche, Jean-Paul and Morton, Patrick and Shallit, Jeffrey},
TITLE = {Pattern spectra, substring enumeration, and automatic sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {161-174},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Baratchart-Olivi-Wielonsky/92,
AUTHOR = {Baratchart, L. and Olivi, M. and Wielonsky, F.},
TITLE = {On a rational approximation problem in the real Hardy space $H_2$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {175-197},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Dehornoy/92a,
AUTHOR = {Dehornoy, Patrick},
TITLE = {Probl{\`e}me de mots dans les gerbes libres},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {199-213},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Ferenczi/92,
AUTHOR = {Ferenczi, S{\'e}bastien},
TITLE = {Tiling the Morse sequence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {215-221},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Frougny/92a,
AUTHOR = {Frougny, Christiane},
TITLE = {Syst{\`e}mes de num{\'e}ration lin{\'e}aires et $\Theta$-repr{\'e}sentations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {223-236},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Galmiche/92,
AUTHOR = {Galmiche, Didier},
TITLE = {Program development in constructive type theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {237-259},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Gardy/92a,
AUTHOR = {Gardy, Dani{\`e}le},
TITLE = {M{\'e}thode de col et lois limites en analyse combinatoire},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {261-280},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Gil/92,
AUTHOR = {Gil, Bernhard},
TITLE = {Complete extension of general logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {281-294},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Lachaud/92,
AUTHOR = {Lachaud, Gilles},
TITLE = {Artin-Schreier curves, exponential sums, and coding theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {295-310},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mery/92,
AUTHOR = {M{\'e}ry, Dominique},
TITLE = {The $\cal NU$ system as a development system for concurrent programs:$\delta {\cal NU}$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {311-334},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Parigot/92,
AUTHOR = {Parigot, Michel},
TITLE = {Recursive programming with proofs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {335-356},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Perrin/92,
AUTHOR = {Perrin, Dominique},
TITLE = {On positive matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {357-366},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Restivo/92,
AUTHOR = {Restivo, Antonio},
TITLE = {A note on renewal systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {367-371},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Wen-Wen/92,
AUTHOR = {Wen, Zhi-Xiong and Wen, Zhi-Ying},
TITLE = {Some studies on the $(p,q)$-type sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {94},
PAGES = {373-393},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Kfoury-Tiuryn-Urzyczyn/92,
AUTHOR = {Kfoury, A.J. and Tiuryn, J. and Urzyczyn, P.},
TITLE = {On the expressive power of finitely typed and universally polymorphic recursive procedures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {1-41},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Vagvolgyi/92,
AUTHOR = {V{\'a}gv{\"o}lgyi, S{\'a}ndor},
TITLE = {Top-down tree transducers with two-way tree walking look-ahead},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {43-74},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Revesz/92,
AUTHOR = {R{\'e}v{\'e}sz, Gy{\H{o}}rgy E.},
TITLE = {A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {75-89},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Harrison-Khoshnevisan/92a,
AUTHOR = {Harrison, Peter G. and Khoshnevisan, Hessam},
TITLE = {A new approach to recursion removal},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {91-113},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Subrahmanian/92,
AUTHOR = {Subrahmanian, V.S.},
TITLE = {Paraconsistent disjunctive deductive databases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {115-141},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Zhang/92f,
AUTHOR = {Zhang, Guo-Qiang},
TITLE = {Stable neighbourhoods},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {143-157},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Goerdt/92a,
AUTHOR = {Goerdt, Andreas},
TITLE = {Unrestricted resolution versus N-resolution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {159-167},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Peladeau/92,
AUTHOR = {P{\'e}ladeau, Pierre},
TITLE = {Logically defined subsets of $N^k$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {169-183},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hiraishi-Ichikawa/92,
AUTHOR = {Hiraishi, Kunihiko and Ichikawa, Atsunobu},
TITLE = {On structural conditions for weak persistency and semilinearity of Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {185-199},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Louchard-Randrianarimanana-Schott/92,
AUTHOR = {Louchard, G. and Randrianarimanana, B. and Schott, R.},
TITLE = {Dynamic algorithms in D.E. Knuth's model: A probabilistic analysis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {201-225},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bonizzoni-Mauri/92,
AUTHOR = {Bonizzoni, P. and Mauri, G.},
TITLE = {On automata on infinite trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {227-244},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Kedem-Palem/92,
AUTHOR = {Kedem, Zvi M. and Palem, Krishna V.},
TITLE = {Optimal parallel algorithms for forest and term matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {245-264},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Toda/92,
AUTHOR = {Toda, Seinosuke},
TITLE = {Restricted relativizations of probabilistic polynomial time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {265-277},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Ramanan/92,
AUTHOR = {Ramanan, Prakash},
TITLE = {Testing the optimality of alphabetic trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {279-301},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Boyar-Frandsen-Sturtivant/92,
AUTHOR = {Boyar, Joan and Frandsen, Gudmund and Sturtivant, Carl},
TITLE = {An arithmetic model of computation equivalent to threshold circuits},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {303-319},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Dehornoy/92,
AUTHOR = {Dehornoy, Patrick},
TITLE = {A criterion for proving noetherianity of a relation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {321-325},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Herbst/92,
AUTHOR = {Herbst, Thomas},
TITLE = {On a kind of Fatou property of context-free groups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {93},
PAGES = {327-331},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}