%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "1.16",
%%% date = "08 July 2005",
%%% time = "14:12:44 MDT",
%%% filename = "tcs2000.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "14343 44496 147934 1455452",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography, BibTeX, Theoretical Computer
%%% Science",
%%% supported = "yes",
%%% docstring = "This is a bibliography of publications in
%%% the journal Theoretical Computer Science
%%% (CODEN TCSCDI, ISSN 0304-3975), which
%%% began publishing in 1975.
%%%
%%% This file covers the years 1995--1999;
%%% companion files tcs19xx.bib and tcs20xx.bib
%%% each cover other pentads.
%%%
%%% The journal has World-Wide Web home sites
%%% at several locations:
%%%
%%% Title pages:
%%% http://www.elsevier.nl/locate/issn/03043975 (Europe)
%%% http://www.elsevier.com/locate/issn/03043975 (North America)
%%% http://www.elsevier.co.jp/locate/issn/03043975 (Japan)
%%% http://www.sciencedirect.com/science/journal/03043975
%%%
%%% Tables of contents:
%%% http://www.sciencedirect.com/science/journal/03043975
%%% http://www.elsevier.nl/locate/tcs
%%% http://www.elsevier.nl/locate/estoc/03043975 (Europe)
%%% http://www.elsevier.com/locate/estoc/03043975 (North America)
%%% http://www.elsevier.com/locate/tcs
%%% http://www.elsevier.co.jp/locate/estoc/03043975 (Japan)
%%%
%%% Elsevier Science alert page:
%%% http://www.elsevier.nl/mcs/tcs/Menu.html (Europe)
%%%
%%% The tables of contents sites begin coverage
%%% with Volume 91, Number 1, 1992, and have full
%%% text of articles from Volume 190, Number 1,
%%% 1998.
%%%
%%% At version 1.16, the year coverage looked
%%% like this:
%%%
%%% 1986 ( 1) 1993 ( 0) 2000 ( 347)
%%% 1987 ( 0) 1994 ( 1) 2001 ( 389)
%%% 1988 ( 0) 1995 ( 0) 2002 ( 475)
%%% 1989 ( 0) 1996 ( 1) 2003 ( 521)
%%% 1990 ( 0) 1997 ( 0) 2004 ( 488)
%%% 1991 ( 0) 1998 ( 1) 2005 ( 244)
%%% 1992 ( 0) 1999 ( 1)
%%%
%%% Article: 2469
%%%
%%% Total entries: 2469
%%%
%%% This bibliography was prepared by merging
%%% data from the TeX Users Group bibliography
%%% archive, the BibNet Project archive, the OCLC
%%% Contents1st database, the Compendex database,
%%% the IEEE INSPEC database, and the journal Web
%%% pages.
%%%
%%% Numerous errors in the sources noted above
%%% have been corrected. Spelling has been
%%% verified with the UNIX spell and GNU ispell
%%% programs using the exception dictionary
%%% stored in the companion file with extension
%%% .sok.
%%%
%%% BibTeX citation tags are uniformly chosen
%%% as name:year:abbrev, where name is the
%%% family name of the first author or editor,
%%% year is a 4-digit number, and abbrev is a
%%% 3-letter condensation of important title
%%% words. Citation tags were automatically
%%% generated by software developed for the
%%% BibNet Project.
%%%
%%% In this bibliography, entries are sorted in
%%% publication order within each journal,
%%% using bibsort -byvolume.
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
@Preamble{"\hyphenation{
Bai-er
He-ma-chan-dra
Ko-ba-ya-shi
Kri-zanc
Lett-mann
Mal-u-szyn-ski
Mar-chet-ti
Mar-u-o-ka
Och-man-ski
Pal-a-mi-des-si
Piet-rzy-kow-ski
Pros-ku-row-ski
Pu-ru-sho-tha-man
Ros-en-krantz
Spor-tel-li
Sturt-i-vant
Ta-ka-da
Vau-zeilles
Win-kow-ski
Win-skel
to-po-log-ique
}"
#
"\ifx \k \undefined
\let \k = \c
\immediate\write16{Ogonek accent unavailable: replaced by cedilla}
\fi"
#
"\ifx \undefined \mathbb \def \mathbb #1{{\bf #1}}\fi"
#
"\ifx \undefined \mathcal \def \mathcal #1{{\cal #1}}\fi"
#
"\ifx \r \undefined \def\r#1{#1} \fi"
}
%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-THEOR-COMP-SCI = "Theoretical Computer Science"}
%%% ====================================================================
%%% Bibliography entries, sorted in publication order:
@Article{Chrobak:1986:FAU,
author = "M. Chrobak",
title = "Finite automata and unary languages",
journal = j-THEOR-COMP-SCI,
volume = "47",
number = "2",
pages = "149--158",
month = "????",
year = "1986",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Wed Nov 05 09:19:14 2003",
note = "See errata \cite{Chrobak:2003:ESA}.",
acknowledgement = ack-nhfb,
classification = "C4210 (Formal logic); C4220 (Automata theory); C4240
(Programming and algorithm theory)",
corpsource = "Inst. of Inf., Warsaw Univ., Poland",
keywords = "1DFA; 2DFA; alternating automata; computational
complexity; deterministic automata; finite automata;
formal languages; lower bound; n-state 1NFA;
nondeterministic automata; one-way automata; state
complexity; tight bounds; two-way automata; unary
languages; upper bound",
pubcountry = "Netherlands A04",
treatment = "T Theoretical or Mathematical",
}
@Article{DeAgostino:1994:PCP,
author = "Sergio {De Agostino}",
title = "{P}-complete problems in data compression",
journal = j-THEOR-COMP-SCI,
volume = "127",
number = "1",
pages = "181--186",
day = "09",
month = may,
year = "1994",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 12:30:22 2000",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1994&volume=127&issue=1",
note = "See erratum \cite{DeAgostino:2000:EPC}.",
URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1994&volume=127&issue=1&aid=1568",
acknowledgement = ack-nhfb,
classification = "C4240P (Parallel programming and algorithm theory);
C6130 (Data handling techniques)",
corpsource = "Dept. of Comput. Sci., Brandeis Univ., Waltham, MA,
USA",
keywords = "computational complexity; data compression; P-complete
problems; parallel algorithms; parallel computational
complexity; textual substitution; Ziv-Lempel
algorithm",
pubcountry = "Netherlands",
treatment = "P Practical; T Theoretical or Mathematical",
}
@Article{Hemaspaandra:1996:RCP,
author = "Lane A. Hemaspaandra and Albrecht Hoene and Mitsunori
Ogihara",
title = "Reducibility classes of {$P$}-selective sets",
journal = j-THEOR-COMP-SCI,
volume = "155",
number = "2",
pages = "447--457",
day = "11",
month = mar,
year = "1996",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 12:32:13 2000",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1996&volume=155&issue=2",
note = "See erratum \cite{Hemaspaandra:2000:ESC}.",
URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1996&volume=155&issue=2&aid=2035",
acknowledgement = ack-nhfb,
classification = "C1160 (Combinatorial mathematics); C4240C
(Computational complexity)",
corpsource = "Dept. of Comput. Sci., Rochester Univ., NY, USA",
keywords = "algorithm; computational complexity; decidability;
equivalences; hierarchy; P-selective sets;
polynomial-time semidecision algorithm; reducibility
classes; reductions; set theory; strings",
pubcountry = "Netherlands",
treatment = "T Theoretical or Mathematical",
}
@Article{Bernardo:1998:TET,
author = "Marco Bernardo and Roberto Gorrieri",
title = "A tutorial on {EMPA}: {A} theory of concurrent
processes with nondeterminism, priorities,
probabilities and time",
journal = j-THEOR-COMP-SCI,
volume = "202",
number = "1--2",
pages = "1--54",
day = "28",
month = jul,
year = "1998",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Mon Jul 19 22:21:56 MDT 1999",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1998&volume=202&issue=1-2",
note = "See corrigendum \cite{Bernardo:2001:CST}.",
URL = "http://www.elsevier.com/cas/tree/store/tcs/sub/1998/202/1-2/2663.pdf",
acknowledgement = ack-nhfb,
}
@Article{Spreen:1999:FPL,
author = "Dieter Spreen",
title = "On functions preserving levels of approximation: {A}
refined model construction for various lambda calculi",
journal = j-THEOR-COMP-SCI,
volume = "212",
number = "1--2",
pages = "261--303",
day = "06",
month = feb,
year = "1999",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Mon Jul 19 22:22:24 MDT 1999",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1999&volume=212&issue=1-2",
note = "See corrigendum \cite{Spreen:2001:CSF}.",
URL = "http://www.elsevier.com/cas/tree/store/tcs/sub/1999/212/1-2/2964.pdf",
acknowledgement = ack-nhfb,
}
@Article{Apolloni:2000:SSP,
author = "B. Apolloni and C. Gentile",
title = "{$P$}-sufficient statistics for {PAC} learning
$k$-term-{DNF} formulas through enumeration",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "1--37",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/21/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/21/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{delaHiguera:2000:TSM,
author = "C. de la Higuera and F. Casacuberta",
title = "Topology of strings: {Median} string is
{NP}-complete",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "39--48",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/22/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/22/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Sutner:2000:ACP,
author = "Klaus Sutner",
title = "$\sigma$-Automata and {Chebyshev}-polynomials",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "49--73",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/23/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/23/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Chen:2000:EAA,
author = "Zhi-Zhong Chen",
title = "Efficient algorithms for acyclic colorings of graphs",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "75--95",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/24/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/24/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Chekhova:2000:CNR,
author = "Nataliya Chekhova",
title = "Covering numbers of rotations",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "97--116",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/25/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/25/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Baldwin:2000:CCA,
author = "John T. Baldwin and Saharon Shelah",
title = "On the classifiability of cellular automata",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "117--129",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/26/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/26/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Uehara:2000:IPD,
author = "Ryuhei Uehara and Kensei Tsuchida and Ingo Wegener",
title = "Identification of partial disjunction, parity, and
threshold functions",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "131--147",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/27/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/27/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Gerla:2000:CSA,
author = "Brunella Gerla",
title = "Conditioning a state by a {{\L}ukasiewicz} event: a
probabilistic approach to {Ulam} games",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "149--166",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/28/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/28/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Cicalese:2000:OSA,
author = "Ferdinando Cicalese and Ugo Vaccaro",
title = "Optimal strategies against a liar",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "167--193",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/29/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/29/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Breuker:2000:SD,
author = "D. M. Breuker and J. W. H. M. Uiterwijk and H. J. van
den Herik",
title = "Solving $8 \times 8$ Domineering",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "195--206",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/30/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/30/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Ettinger:2000:MPG,
author = "J. Mark Ettinger",
title = "A metric for positional games",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "207--219",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/31/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/31/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Malgouyres:2000:HTD,
author = "R{\'e}my Malgouyres",
title = "Homotopy in two-dimensional digital images",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "221--233",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/32/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/32/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Crvenkovic:2000:VKA,
author = "S. Crvenkovi{\'{c}} and I. Dolinka and Z. {\'E}sik",
title = "The variety of {Kleene} algebras with conversion is
not finitely based",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "235--245",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/33/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/33/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Asveld:2000:IPS,
author = "Peter R. J. Asveld and Anton Nijholt",
title = "The inclusion problem for some subclasses of
context-free languages",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "247--256",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/34/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/34/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:Ia,
author = "Anonymous",
title = "Index",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "291--291",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/35/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/35/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:Ib,
author = "Anonymous",
title = "Index",
journal = j-THEOR-COMP-SCI,
volume = "230",
number = "1--2",
pages = "293--299",
day = "6",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:53 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/164/21/36/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/164/21/36/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:Ea,
author = "Anonymous",
title = "Editorial(s)",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "1",
pages = "1--3",
day = "17",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:56 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/21/21/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/21/21/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Caron:2000:LMP,
author = "Pascal Caron",
title = "{LANGAGE}: {A} {Maple} package for automaton
characterization of regular languages",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "1",
pages = "5--15",
day = "17",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:56 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/21/22/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/21/22/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Mohri:2000:DPW,
author = "Mehryar Mohri and Fernando Pereira and Michael Riley",
title = "The design principles of a weighted finite-state
transducer library",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "1",
pages = "17--32",
day = "17",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:56 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/21/23/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/21/23/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Silberztein:2000:IFT,
author = "Max Silberztein",
title = "{INTEX}: an {FST} toolbox",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "1",
pages = "33--46",
day = "17",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:56 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/21/24/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/21/24/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Lescow:2000:MSS,
author = "Helmut Lescow and Jens V{\"o}ge",
title = "Minimal separating sets for acceptance conditions in
{Muller Automata}",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "1",
pages = "47--57",
day = "17",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:56 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/21/25/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/21/25/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Trahtman:2000:OEO,
author = "A. N. Trahtman",
title = "Optimal estimation on the order of local testability
of finite automata",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "1",
pages = "59--74",
day = "17",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:56 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
note = "See erratum \cite{Trahtman:2001:ESE}.",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/21/26/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/21/26/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Ziadi:2000:SDT,
author = "D. Ziadi",
title = "Sorting and doubling techniques for set partitioning
and automata minimization problems",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "1",
pages = "75--87",
day = "17",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:56 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/21/27/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/21/27/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Ponty:2000:ENF,
author = "J.-L. Ponty",
title = "An efficient null-free procedure for deciding regular
language membership",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "1",
pages = "89--101",
day = "17",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:56 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/21/28/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/21/28/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Salomaa:2000:EIR,
author = "K. Salomaa and X. Wu and S. Yu",
title = "Efficient implementation of regular languages using
reversed alternating finite automata",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "1",
pages = "103--111",
day = "17",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:56 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/21/29/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/21/29/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Brzozowski:2000:AAB,
author = "J. A. Brzozowski and R. Negulescu",
title = "Automata of asynchronous behaviors",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "1",
pages = "113--128",
day = "17",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:56 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/21/30/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/21/30/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Maurel:2000:PMT,
author = "Denis Maurel",
title = "Pseudo-minimal transducer",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "1",
pages = "129--139",
day = "17",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:56 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/21/31/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/21/31/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:Eb,
author = "Anonymous",
title = "Editorial(s)",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "141--142",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/21/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/21/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Boldi:2000:TCA,
author = "Paolo Boldi and Sebastiano Vigna",
title = "The {Turing} closure of an {Archimedean} field",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "143--156",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/22/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/22/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Ferretti:2000:UPS,
author = "C. Ferretti and G. Mauri and S. Kobayashi and T.
Yokomori",
title = "On the universality of {Post} and splicing systems",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "157--170",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/23/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/23/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Ferretti:2000:NTT,
author = "C. Ferretti and G. Mauri and C. Zandron",
title = "Nine test tubes generate any {RE} language",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "171--180",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/24/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/24/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Imai:2000:CUT,
author = "Katsunobu Imai and Kenichi Morita",
title = "A computation-universal two-dimensional $8$-state
triangular reversible cellular automaton",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "181--191",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/25/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/25/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Kari:2000:UDS,
author = "Lila Kari and Greg Gloor and Sheng Yu",
title = "Using {DNA} to solve the {Bounded Post Correspondence
Problem}",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "193--203",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/26/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/26/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Maes:2000:MMA,
author = "Arnaud Maes",
title = "More on morphisms and almost-periodicity",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "205--215",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/27/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/27/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Margenstern:2000:FBD,
author = "Maurice Margenstern",
title = "Frontier between decidability and undecidability: a
survey",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "217--251",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/28/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/28/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Michaux:2000:ITB,
author = "C. Michaux and C. Troestler",
title = "Isomorphism theorem for {BSS} recursively enumerable
sets over real closed fields",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "253--273",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/29/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/29/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Paun:2000:DCB,
author = "Gheorghe P{\u{a}}un",
title = "{DNA} computing based on splicing: universality
results",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "275--296",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/30/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/30/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Sakamoto:2000:IDP,
author = "Hiroshi Sakamoto and Daisuke Ikeda",
title = "Intractability of decision problems for finite-memory
automata",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "297--308",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/31/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/31/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Senizergues:2000:CFS,
author = "G{\'e}raud S{\'e}nizergues",
title = "Complete formal systems for equivalence problems",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "309--334",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/32/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/32/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:Ic,
author = "Anonymous",
title = "Index",
journal = j-THEOR-COMP-SCI,
volume = "231",
number = "2",
pages = "335--336",
day = "28",
month = jan,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:37:58 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/163/22/33/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/163/22/33/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:Ec,
author = "Anonymous",
title = "Editorial(s)",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "1--4",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/21/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/21/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Galmiche:2000:PST,
author = "Didier Galmiche and David J. Pym",
title = "Proof-search in type-theoretic languages: an
introduction",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "5--53",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/22/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/22/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Caldwell:2000:SAT,
author = "James L. Caldwell and Ian P. Gent and Judith
Underwood",
title = "Search algorithms in type theory",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "55--90",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/23/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/23/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{McDowell:2000:CEL,
author = "Raymond McDowell and Dale Miller",
title = "Cut-elimination for a logic with definitions and
induction",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "91--119",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/24/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/24/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Arai:2000:ENF,
author = "Toshiyasu Arai and Grigori Mints",
title = "Extended normal form theorems for logical proofs from
axioms",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "121--132",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/25/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/25/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Cervesato:2000:ERM,
author = "Iliano Cervesato and Joshua S. Hodas and Frank
Pfenning",
title = "Efficient resource management for linear logic proof
search",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "133--163",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/26/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/26/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Bunder:2000:PFA,
author = "M. W. Bunder",
title = "Proof finding algorithms for implicational logics",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "165--186",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/27/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/27/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Felty:2000:CCF,
author = "Amy Felty",
title = "The calculus of constructions as a framework for proof
search with set variable instantiation",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "187--229",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/28/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/28/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Galmiche:2000:CML,
author = "D. Galmiche",
title = "Connection methods in linear logic and proof nets
construction",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "231--272",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/29/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/29/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Nadathur:2000:CBC,
author = "Gopalan Nadathur",
title = "Correspondences between classical, intuitionistic and
uniform provability",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "273--298",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/30/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/30/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Ritter:2000:IFC,
author = "Eike Ritter and David Pym and Lincoln Wallen",
title = "On the intuitionistic force of classical search",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "299--333",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/31/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/31/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:Id,
author = "Anonymous",
title = "Index",
journal = j-THEOR-COMP-SCI,
volume = "232",
number = "1--2",
pages = "335--335",
day = "6",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:00 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/165/21/32/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/165/21/32/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Monti:2000:STL,
author = "Angelo Monti and Adriano Peron",
title = "Systolic tree $\omega$-languages: the operational and
the logical view",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "1--18",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/21/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/21/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Hashiguchi:2000:NUB,
author = "Kosaburo Hashiguchi",
title = "New upper bounds to the limitedness of distance
automata",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "19--32",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/22/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/22/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Akutsu:2000:ALC,
author = "Tatsuya Akutsu and Magn{\'u}s M. Halld{\'o}rsson",
title = "On the approximation of largest common subtrees and
largest common point sets",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "33--50",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/23/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/23/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Robilliard:2000:UEP,
author = "D. Robilliard and D. Simplot",
title = "Undecidability of existential properties in picture
languages",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "51--74",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/24/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/24/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Caron:2000:CGA,
author = "Pascal Caron and Djelloul Ziadi",
title = "Characterization of {Glushkov} automata",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "75--90",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/25/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/25/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Gardner:2000:CCD,
author = "R. J. Gardner and P. Gritzmann and D. Prangenberg",
title = "On the computational complexity of determining
polyatomic structures by {X}-rays",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "91--106",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/26/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/26/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Cattell:2000:CGM,
author = "Kevin Cattell and Michael J. Dinneen and Rodney G.
Downey and Michael R. Fellows and Michael A. Langston",
title = "On computing graph minor obstruction sets",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "107--127",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/27/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/27/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Kawahara:2000:SFC,
author = "Yasuo Kawahara and Masao Mori",
title = "A small final coalgebra theorem",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "129--145",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/28/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/28/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Cattaneo:2000:ETR,
author = "Gianpiero Cattaneo and Enrico Formenti and Giovanni
Manzini and Luciano Margara",
title = "Ergodicity, transitivity, and regularity for linear
cellular automata over {Z} m",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "147--164",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/29/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/29/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Bermond:2000:ECC,
author = "Jean-Claude Bermond and Luisa Gargano and Stephan
Perennes and Adele A. Rescigno and Ugo Vaccaro",
title = "Efficient collective communication in optical
networks",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "165--189",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/30/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/30/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Evfimievski:2000:PAU,
author = "Alexandre V. Evfimievski",
title = "A probabilistic algorithm for updating files over a
communication link",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "191--199",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/31/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/31/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Lungo:2000:LTT,
author = "Alberto Del Lungo and Francesco Del Ristoro and
Jean-Guy Penaud",
title = "Left ternary trees and non-separable rooted planar
maps",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "201--215",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/32/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/32/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Germain:2000:LRD,
author = "Christian Germain and Jean Pallo",
title = "Langages rationnels d{\'e}finis avec une
concat{\'e}nation non-associative",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "217--231",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/33/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/33/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Rabinovich:2000:SFE,
author = "Alexander Rabinovich",
title = "Star free expressions over the reals",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "233--245",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/34/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/34/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Aumann:2000:CRT,
author = "Yonatan Aumann and Judit Bar-Ilan and Uriel Feige",
title = "On the cost of recomputing: {Tight} bounds on pebbling
with faults",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "247--261",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/35/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/35/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Propp:2000:TPI,
author = "James Propp",
title = "Three-player impartial games",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "263--278",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/36/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/36/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Nishida:2000:SL,
author = "T. Y. Nishida and A. Salomaa",
title = "On slender {0L} languages",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "279--286",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/37/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/37/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Goles:2000:SRC,
author = "Eric Goles and Erich Prisner",
title = "Source reversal and chip firing on graphs",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "287--295",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/38/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/38/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Feder:2000:SPA,
author = "Tom{\'a}s Feder and Nimrod Megiddo and Serge A.
Plotkin",
title = "A sublinear parallel algorithm for stable matching",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "297--308",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/39/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/39/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Karpinski:2000:ZTA,
author = "Marek Karpinski and Alf van der Poorten and Igor
Shparlinski",
title = "Zero testing of $p$-adic and modular polynomials",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "309--317",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/40/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/40/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Kalyanasundaram:2000:ODA,
author = "Bala Kalyanasundaram and Kirk R. Pruhs",
title = "An optimal deterministic algorithm for online
$b$-matching",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "319--325",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Wed Nov 20 19:16:38 2002",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/41/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/41/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:Ie,
author = "Anonymous",
title = "Index",
journal = j-THEOR-COMP-SCI,
volume = "233",
number = "1--2",
pages = "327--327",
day = "28",
month = feb,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:03 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/166/21/42/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/166/21/42/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Puitg:2000:FMH,
author = "Fran{\c{c}}ois Puitg and Jean-Fran{\c{c}}ois Dufourd",
title = "Formalizing mathematics in higher-order logic: {A}
case study in geometric modelling",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "1--57",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/21/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/21/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Habib:2000:LBP,
author = "Michel Habib and Ross McConnell and Christophe Paul
and Laurent Viennot",
title = "Lex-{BFS} and partition refinement, with applications
to transitive orientation, interval graph recognition
and consecutive ones testing",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "59--84",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/22/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/22/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Kralovic:2000:CSP,
author = "Rastislav Kr{\'a}{\v{l}}ovi{\v{c}} and Peter
Ru{\v{z}}i{\v{c}}ka and Daniel{\v{S}}tefankovi{\v{c}}",
title = "The complexity of shortest path and dilation bounded
interval routing",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "85--107",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/23/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/23/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Weihrauch:2000:CCL,
author = "Klaus Weihrauch and Xizhong Zheng",
title = "Computability on continuous, lower semi-continuous and
upper semi-continuous real functions",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "109--133",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/24/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/24/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Pixton:2000:SAF,
author = "Dennis Pixton",
title = "Splicing in abstract families of languages",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "135--166",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/25/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/25/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Salomaa:2000:AFA,
author = "Kai Salomaa and Sheng Yu",
title = "Alternating finite automata and star-free languages",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "167--176",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/26/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/26/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Mohri:2000:MAS,
author = "Mehryar Mohri",
title = "Minimization algorithms for sequential transducers",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "177--201",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/27/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/27/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Achlioptas:2000:CAR,
author = "Dimitris Achlioptas and Marek Chrobak and John Noga",
title = "Competitive analysis of randomized paging algorithms",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "203--218",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/28/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/28/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Wang:2000:TDW,
author = "Cao An Wang and Binhai Zhu",
title = "Three-dimensional weak visibility: {Complexity} and
applications",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "219--232",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/29/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/29/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Francon:2000:TMS,
author = "Jean Fran{\c{c}}on and Yves Bertrand",
title = "Topological {3D-manifolds}: a statistical study of the
cells",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "233--254",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/30/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/30/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Arques:2000:CRM,
author = "Didier Arqu{\`e}s and Alain Giorgetti",
title = "Counting rooted maps on a surface",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "255--272",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/31/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/31/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Pavan:2000:CDP,
author = "A. Pavan and Alan L. Selman",
title = "Complete distributional problems, hard languages, and
resource-bounded measure",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "273--286",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/32/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/32/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Esik:2000:PKR,
author = "Z. {\'E}sik",
title = "A proof of the {Krohn-Rhodes Decomposition Theorem}",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "287--300",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/33/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/33/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Lange:2000:FPA,
author = "Tanja Lange and Arne Winterhof",
title = "Factoring polynomials over arbitrary finite fields",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "301--308",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/34/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/34/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Boudol:2000:SCN,
author = "G{\'e}rard Boudol",
title = "On the semantics of the call-by-name {CPS} transform",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "309--321",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/35/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/35/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Hemaspaandra:2000:ESC,
author = "L. Hemaspaandra and A. Hoene and M. Ogihara",
title = "Erratum to {``Reducibility classes of $P$-selective
sets'' [Theoret. Comput. Sci 155(2) (1996) 447--457]}",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "323--323",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
note = "See \cite{Hemaspaandra:1996:RCP}.",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/36/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/36/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{DeAgostino:2000:EPC,
author = "Sergio {De Agostino}",
title = "Erratum to {``P-complete Problems in Data
Compression'' [Theoret. Comput. Sci. 127 (1994)
181--186]}",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "325--326",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
note = "See \cite{DeAgostino:1994:PCP}.",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/37/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/37/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:If,
author = "Anonymous",
title = "Index",
journal = j-THEOR-COMP-SCI,
volume = "234",
number = "1--2",
pages = "399--399",
day = "6",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:05 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/38/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/170/21/38/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:Ed,
author = "Anonymous",
title = "Editorial(s)",
journal = j-THEOR-COMP-SCI,
volume = "235",
number = "1",
pages = "1--2",
day = "17",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:08 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/22/21/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/167/22/21/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Bach:2000:TDS,
author = "Eric Bach and Marcos Kiwi",
title = "Threshold data structures and coding theory",
journal = j-THEOR-COMP-SCI,
volume = "235",
number = "1",
pages = "3--23",
day = "17",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:08 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/22/22/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/167/22/22/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Blum:2000:SDR,
author = "Avrim Blum and Goran Konjevod and R. Ravi and Santosh
Vempala",
title = "Semi-definite relaxations for minimum bandwidth and
other vertex-ordering problems",
journal = j-THEOR-COMP-SCI,
volume = "235",
number = "1",
pages = "25--42",
day = "17",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:08 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/22/23/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/167/22/23/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Boyar:2000:MCB,
author = "Joan Boyar and Ren{\'e} Peralta and Denis Pochuev",
title = "On the multiplicative complexity of {Boolean}
functions over the basis (,,1)",
journal = j-THEOR-COMP-SCI,
volume = "235",
number = "1",
pages = "43--57",
day = "17",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:08 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/22/24/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/167/22/24/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Buhrman:2000:NAI,
author = "Harry Buhrman and Tao Jiang and Ming Li and Paul
Vit{\'a}nyi",
title = "New applications of the incompressibility method:
{Part II}",
journal = j-THEOR-COMP-SCI,
volume = "235",
number = "1",
pages = "59--70",
day = "17",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:08 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/22/25/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/167/22/25/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Burgisser:2000:CVV,
author = "Peter B{\"u}rgisser",
title = "{Cook}'s versus {Valiant}'s hypothesis",
journal = j-THEOR-COMP-SCI,
volume = "235",
number = "1",
pages = "71--88",
day = "17",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:08 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/22/26/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/167/22/26/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Codenotti:2000:SSP,
author = "Bruno Codenotti and Pavel Pudl{\'a}k and Giovanni
Resta",
title = "Some structural properties of low-rank matrices
related to computational complexity",
journal = j-THEOR-COMP-SCI,
volume = "235",
number = "1",
pages = "89--107",
day = "17",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:08 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/22/27/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/167/22/27/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Edmonds:2000:SD,
author = "Jeff Edmonds",
title = "Scheduling in the dark",
journal = j-THEOR-COMP-SCI,
volume = "235",
number = "1",
pages = "109--141",
day = "17",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:08 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/22/28/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/167/22/28/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Levin:2000:SSC,
author = "Leonid A. Levin",
title = "Self-stabilization of circular arrays of automata",
journal = j-THEOR-COMP-SCI,
volume = "235",
number = "1",
pages = "143--144",
day = "17",
month = mar,
year = "2000",
CODEN = "TCSCDI",
ISSN = "0304-3975",
bibdate = "Tue Oct 31 11:38:08 MST 2000",
bibsource = "http://www.elsevier.com/locate/issn/03043975",
URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/22/29/abstract.html;
http://www.elsevier.nl/gej-ng/10/41/16/167/22/29/article.pdf",
acknowledgement = ack-nhfb,
}
@Article{Rojas:2000:ULI,
author = "J. Maurice Rojas",
title = "Uncomputably large integral points on algebraic plane
curves?