@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},
}