%%% -*-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?", journal = j-THEOR-COMP-SCI, volume = "235", number = "1", pages = "145--162", 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/30/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/22/30/article.pdf", acknowledgement = ack-nhfb, } @Article{Silverman:2000:DIP, author = "Joseph H. Silverman", title = "On the distribution of integer points on curves of genus zero", journal = j-THEOR-COMP-SCI, volume = "235", number = "1", pages = "163--170", 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/31/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/22/31/article.pdf", acknowledgement = ack-nhfb, } @Article{Song:2000:SRL, author = "Fangmin Song and Yongsen Xu and Yuechen Qian", title = "The self-reduction in lambda calculus", journal = j-THEOR-COMP-SCI, volume = "235", number = "1", pages = "171--181", 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/32/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/22/32/article.pdf", acknowledgement = ack-nhfb, } @Article{Trahtman:2000:AFO, author = "A. N. Trahtman", title = "Algorithms finding the order of local testability of deterministic finite automaton and estimations of the order", journal = j-THEOR-COMP-SCI, volume = "235", number = "1", pages = "183--204", 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/33/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/22/33/article.pdf", acknowledgement = ack-nhfb, } @Article{Vazirani:2000:RRA, author = "Vijay V. Vazirani", title = "Recent results on approximating the {Steiner} tree problem and its generalizations", journal = j-THEOR-COMP-SCI, volume = "235", number = "1", pages = "205--216", 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/34/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/22/34/article.pdf", acknowledgement = ack-nhfb, } @Article{Anonymous:2000:Ee, author = "Anonymous", title = "Editorial(s)", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "217--217", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/21/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/21/article.pdf", acknowledgement = ack-nhfb, } @Article{Era:2000:UBG, author = "Hiroshi Era and Kenjiro Ogawa and Morimasa Tsuchiya", title = "On upper bound graphs with respect to operations on graphs", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "219--223", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/22/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/22/article.pdf", acknowledgement = ack-nhfb, } @Article{Hachimori:2000:CCR, author = "Masahiro Hachimori", title = "Constructible complexes and recursive division of posets", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "225--237", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/23/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/23/article.pdf", acknowledgement = ack-nhfb, } @Article{Kashiwabara:2000:ESF, author = "Kenji Kashiwabara", title = "Extremality of submodular functions", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "239--256", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/24/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/24/article.pdf", acknowledgement = ack-nhfb, } @Article{Kojima:2000:WDM, author = "Toru Kojima and Kiyoshi Ando", title = "Wide-diameter and minimum length of fan", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "257--266", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/25/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/25/article.pdf", acknowledgement = ack-nhfb, } @Article{Maehara:2000:CCP, author = "Hiroshi Maehara", title = "Can a convex polyhedron have a developable face-cycle?", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "267--270", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/26/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/26/article.pdf", acknowledgement = ack-nhfb, } @Article{Nakamigawa:2000:GDF, author = "Tomoki Nakamigawa", title = "A generalization of diagonal flips in a convex polygon", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "271--282", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/27/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/27/article.pdf", acknowledgement = ack-nhfb, } @Article{Ozeki:2000:CRC, author = "Michio Ozeki", title = "On covering radii and coset weight distributions of extremal binary self-dual codes of length 40", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "283--308", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/28/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/28/article.pdf", acknowledgement = ack-nhfb, } @Article{Sakuma:2000:FCC, author = "Tadashi Sakuma", title = "Forced color classes, intersection graphs and the strong perfect graph conjecture", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "309--324", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/29/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/29/article.pdf", acknowledgement = ack-nhfb, } @Article{Sugihara:2000:TDC, author = "Kokichi Sugihara", title = "Three-dimensional convex hull as a fruitful source of diagrams", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "325--337", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/30/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/30/article.pdf", acknowledgement = ack-nhfb, } @Article{Tamura:2000:PMP, author = "Akihisa Tamura", title = "Perfect $(0,\pm1)$-matrices and perfect bidirected graphs", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "339--356", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/31/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/31/article.pdf", acknowledgement = ack-nhfb, } @Article{Anonymous:2000:Ig, author = "Anonymous", title = "Index", journal = j-THEOR-COMP-SCI, volume = "235", number = "2", pages = "357--358", day = "28", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:10 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/167/21/32/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/167/21/32/article.pdf", acknowledgement = ack-nhfb, } @Article{Dauchet:2000:TAP, author = "M. Dauchet", title = "Trees in {Algebra} and {Programming}", journal = j-THEOR-COMP-SCI, volume = "236", number = "1--2", pages = "1--1", day = "6", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Wed Nov 05 08:30:00 2003", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/168/21/21/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/168/21/21/article.pdf", acknowledgement = ack-nhfb, } @Article{Astesiano:2000:FM, author = "Egidio Astesiano and Gianna Reggio", title = "Formalism and method", journal = j-THEOR-COMP-SCI, volume = "236", number = "1--2", pages = "3--34", day = "6", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:13 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/168/21/22/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/168/21/22/article.pdf", acknowledgement = ack-nhfb, } @Article{Bouhoula:2000:SPM, author = "Adel Bouhoula and Jean-Pierre Jouannaud and Jos{\'e} Meseguer", title = "Specification and proof in membership equational logic", journal = j-THEOR-COMP-SCI, volume = "236", number = "1--2", pages = "35--132", day = "6", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:13 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/168/21/23/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/168/21/23/article.pdf", acknowledgement = ack-nhfb, } @Article{Arts:2000:TTR, author = "Thomas Arts and J{\"u}rgen Giesl", title = "Termination of term rewriting using dependency pairs", journal = j-THEOR-COMP-SCI, volume = "236", number = "1--2", pages = "133--178", day = "6", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:13 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/168/21/24/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/168/21/24/article.pdf", acknowledgement = ack-nhfb, } @Article{Dessmark:2000:MPC, author = "Anders Dessmark and Andrzej Lingas and Andrzej Proskurowski", title = "Maximum packing for $k$-connected partial $k$-trees in polynomial time", journal = j-THEOR-COMP-SCI, volume = "236", number = "1--2", pages = "179--191", day = "6", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:13 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/168/21/25/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/168/21/25/article.pdf", acknowledgement = ack-nhfb, } @Article{Leivant:2000:CAL, author = "Daniel Leivant and Jean-Yves Marion", title = "A characterization of alternating log time by ramified recurrence", journal = j-THEOR-COMP-SCI, volume = "236", number = "1--2", pages = "193--208", day = "6", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:13 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/168/21/26/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/168/21/26/article.pdf", acknowledgement = ack-nhfb, } @Article{Yamada:2000:LCR, author = "Toshiyuki Yamada and J{\"u}rgen Avenhaus and Carlos Lor{\'\i}a-S{\'a}enz and Aart Middeldorp", title = "Logicality of conditional rewrite systems", journal = j-THEOR-COMP-SCI, volume = "236", number = "1--2", pages = "209--232", day = "6", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:13 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/168/21/27/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/168/21/27/article.pdf", acknowledgement = ack-nhfb, } @Article{Anonymous:2000:Ih, author = "Anonymous", title = "Index", journal = j-THEOR-COMP-SCI, volume = "236", number = "1--2", pages = "233--233", day = "6", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:13 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/168/21/28/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/168/21/28/article.pdf", acknowledgement = ack-nhfb, } @Article{Courcelle:2000:MSOa, author = "Bruno Courcelle", title = "The monadic second-order logic of graphs {XII}: planar graphs and planar maps", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "1--32", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/21/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/21/article.pdf", acknowledgement = ack-nhfb, } @Article{Wang:2000:RBR, author = "Yongge Wang", title = "Resource bounded randomness and computational complexity", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "33--55", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/22/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/22/article.pdf", acknowledgement = ack-nhfb, } @Article{Malvestuto:2000:DHP, author = "Francesco Mario Malvestuto and Marina Moscarini", title = "Decomposition of a hypergraph by partial-edge separators", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "57--79", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/23/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/23/article.pdf", acknowledgement = ack-nhfb, } @Article{Birget:2000:RFP, author = "Jean-Camille Birget", title = "Reductions and functors from problems to word problems", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "81--104", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/24/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/24/article.pdf", acknowledgement = ack-nhfb, } @Article{Schuurman:2000:PTA, author = "Petra Schuurman and Gerhard J. Woeginger", title = "A polynomial time approximation scheme for the two-stage multiprocessor flow shop problem", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "105--122", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/25/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/25/article.pdf", acknowledgement = ack-nhfb, } @Article{Alimonti:2000:SAC, author = "Paola Alimonti and Viggo Kann", title = "Some {APX}-completeness results for cubic graphs", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "123--134", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/26/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/26/article.pdf", acknowledgement = ack-nhfb, } @Article{Mandache:2000:CPC, author = "Niculae Mandache", title = "On the computational power of context-free {PC} grammar systems", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "135--148", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/27/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/27/article.pdf", acknowledgement = ack-nhfb, } @Article{vanderWalt:2000:SLR, author = "Andries van der Walt and Sigrid Ewert", title = "A shrinking lemma for random forbidding context languages", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "149--158", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/28/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/28/article.pdf", acknowledgement = ack-nhfb, } @Article{Geffert:2000:AEP, author = "Viliam Geffert and Jyrki Katajainen and Tomi Pasanen", title = "Asymptotically efficient in-place merging", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "159--181", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/29/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/29/article.pdf", acknowledgement = ack-nhfb, } @Article{Kim:2000:LBP, author = "Changwook Kim and Ivan Hal Sudborough", title = "Leftmove-bounded picture languages", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "183--195", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/30/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/30/article.pdf", acknowledgement = ack-nhfb, } @Article{Sengupta:2000:NCB, author = "Rimli Sengupta and H. Venkateswaran", title = "Non-cancellative {Boolean} circuits: {A} generalization of monotone {Boolean} circuits", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "197--212", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/31/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/31/article.pdf", acknowledgement = ack-nhfb, } @Article{Cheng:2000:STP, author = "Siu-Wing Cheng", title = "The {Steiner} tree problem for terminals on the boundary of a rectilinear polygon", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "213--238", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/32/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/32/article.pdf", acknowledgement = ack-nhfb, } @Article{Senellart:2000:FPM, author = "Jean Senellart", title = "Fast pattern matching in indexed texts", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "239--262", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/33/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/33/article.pdf", acknowledgement = ack-nhfb, } @Article{Apostolico:2000:FAT, author = "Alberto Apostolico and Valentin E. Brimkov", title = "{Fibonacci} arrays and their two-dimensional repetitions", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "263--273", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/34/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/34/article.pdf", acknowledgement = ack-nhfb, } @Article{Moore:2000:QAQ, author = "Cristopher Moore and James P. Crutchfield", title = "Quantum automata and quantum grammars", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "275--306", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/35/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/35/article.pdf", acknowledgement = ack-nhfb, } @Article{Krurka:2000:RS, author = "Petr K{\r{u}}rka and Alejandro Maass", title = "Realtime subshifts", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "307--325", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/36/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/36/article.pdf", acknowledgement = ack-nhfb, } @Article{Poon:2000:SLB, author = "Chung Keung Poon", title = "A space lower bound for st-connectivity on node-named {JAGs}", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "327--345", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/37/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/37/article.pdf", acknowledgement = ack-nhfb, } @Article{Lodaya:2000:SPL, author = "K. Lodaya and P. Weil", title = "Series-parallel languages and the bounded-width property", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "347--380", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/38/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/38/article.pdf", acknowledgement = ack-nhfb, } @Article{Tohyama:2000:CPD, author = "Hiroaki Tohyama and Akeo Adachi", title = "Complexity of path discovery game problems", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "381--406", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/39/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/39/article.pdf", acknowledgement = ack-nhfb, } @Article{Sarkar:2000:DCA, author = "U. K. Sarkar", title = "On the design of a constructive algorithm to solve the multi-peg towers of {Hanoi} problem", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "407--421", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/40/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/40/article.pdf", acknowledgement = ack-nhfb, } @Article{Meduna:2000:TLH, author = "Alexander Meduna", title = "Terminating left-hand sides of scattered context productions {M}. {Nivat}", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "423--427", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/41/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/41/article.pdf", acknowledgement = ack-nhfb, } @Article{Simon:2000:BCA, author = "Janos Simon and Shi-Chun Tsai", title = "On the bottleneck counting argument", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "429--437", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/42/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/42/article.pdf", acknowledgement = ack-nhfb, } @Article{Anderson:2000:IR, author = "James A. Anderson", title = "The intersection of retracts of {A} *", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "439--445", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/43/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/43/article.pdf", acknowledgement = ack-nhfb, } @Article{Litow:2000:HSR, author = "B. Litow", title = "On {Hadamard} square roots of unity", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "447--454", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/44/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/44/article.pdf", acknowledgement = ack-nhfb, } @Article{Navarro:2000:IAP, author = "Gonzalo Navarro", title = "Improved approximate pattern matching on hypertext", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "455--463", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/45/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/45/article.pdf", acknowledgement = ack-nhfb, } @Article{Geffert:2000:VIC, author = "Viliam Geffert", title = "A variant of inductive counting", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "465--475", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/46/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/46/article.pdf", acknowledgement = ack-nhfb, } @Article{Lokam:2000:RVM, author = "Satyanarayana V. Lokam", title = "On the rigidity of {Vandermonde} matrices", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "477--483", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/47/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/47/article.pdf", acknowledgement = ack-nhfb, } @Article{Iwama:2000:TBN, author = "Kazuo Iwama and Yahiko Kambayashi and Kazuya Takaki", title = "Tight bounds on the number of states of {DFAs} that are equivalent to $n$-state {NFAs}", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "485--494", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/48/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/48/article.pdf", acknowledgement = ack-nhfb, } @Article{Anonymous:2000:Ii, author = "Anonymous", title = "Index", journal = j-THEOR-COMP-SCI, volume = "237", number = "1--2", pages = "499--500", day = "28", month = apr, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:15 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/171/21/49/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/171/21/49/article.pdf", acknowledgement = ack-nhfb, } @Article{Sabelfeld:2000:TEL, author = "V. Sabelfeld", title = "The tree equivalence of linear recursion schemes", journal = j-THEOR-COMP-SCI, volume = "238", number = "1--2", pages = "1--29", day = "6", month = may, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:18 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/172/21/21/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/172/21/21/article.pdf", acknowledgement = ack-nhfb, } @Article{Panangaden:2000:GIP, author = "Prakash Panangaden and Clark Verbrugge", title = "Generating irregular partitionable data structures", journal = j-THEOR-COMP-SCI, volume = "238", number = "1--2", pages = "31--80", day = "6", month = may, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:18 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/172/21/22/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/172/21/22/article.pdf", acknowledgement = ack-nhfb, } @Article{Roggenbach:2000:TUV, author = "Markus Roggenbach and Mila Majster-Cederbaum", title = "Towards a unified view of bisimulation: a comparative study", journal = j-THEOR-COMP-SCI, volume = "238", number = "1--2", pages = "81--130", day = "6", month = may, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:18 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/172/21/23/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/172/21/23/article.pdf", acknowledgement = ack-nhfb, } @Article{Codish:2000:TDL, author = "Michael Codish and Vitaly Lagoon", title = "Type dependencies for logic programs using {ACI}-unification", journal = j-THEOR-COMP-SCI, volume = "238", number = "1--2", pages = "131--159", day = "6", month = may, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:18 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/172/21/24/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/172/21/24/article.pdf", acknowledgement = ack-nhfb, } @Article{Czaja:2000:PLN, author = "Ludwik Czaja", title = "Process languages and nets", journal = j-THEOR-COMP-SCI, volume = "238", number = "1--2", pages = "161--181", day = "6", month = may, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:18 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/172/21/25/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/172/21/25/article.pdf", acknowledgement = ack-nhfb, } @Article{Kesner:2000:CEN, author = "Delia Kesner", title = "Confluence of extensional and non-extensional $\lambda$-calculi with explicit substitutions", journal = j-THEOR-COMP-SCI, volume = "238", number = "1--2", pages = "183--220", day = "6", month = may, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:18 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/172/21/26/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/172/21/26/article.pdf", acknowledgement = ack-nhfb, } @Article{Pacini:2000:LCS, author = "Giuliano Pacini and Maria I. Sessa", title = "Loop checking in {SLD}-derivations by well-quasi-ordering of goals", journal = j-THEOR-COMP-SCI, volume = "238", number = "1--2", pages = "221--246", day = "6", month = may, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:18 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/172/21/27/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/172/21/27/article.pdf", acknowledgement = ack-nhfb, } @Article{Vagvolgyi:2000:CCG, author = "S{\'a}ndor V{\'a}gv{\"o}lgyi", title = "Congruential complements of ground term rewrite systems", journal = j-THEOR-COMP-SCI, volume = "238", number = "1--2", pages = "247--274", day = "6", month = may, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:18 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/172/21/28/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/172/21/28/article.pdf", acknowledgement = ack-nhfb, } @Article{Hesselink:2000:FSS, author = "Wim H. Hesselink and Albert Thijs", title = "Fixpoint semantics and simulation", journal = j-THEOR-COMP-SCI, volume = "238", number = "1--2", pages = "275--311", day = "6", month = may, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:18 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/172/21/29/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/172/21/29/article.pdf", acknowledgement = ack-nhfb, } @Article{Boreale:2000:CAB, author = "Michele Boreale and Luca Trevisan", title = "A complexity analysis of bisimilarity for value-passing processes", journal = j-THEOR-COMP-SCI, volume = "238", number = "1--2", pages = "313--345", day = "6", month = may, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:18 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://www.elsevier.nl/gej-ng/10/41/16/172/21/30/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/172/21/30/article.pdf", acknowledgement = ack-nhfb, } @Article{Savicky:2000:ROL, author = "P. Savick{\'y} and S.{\v{Z}}{\'a}k", title = "A read-once lower bound and a (1,+ k )-hierarchy for branching programs", journal = j-THEOR-COMP-SCI, volume = "238", number = "1--2", pages = "347--362", day = "6", month = may, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975", bibdate = "Tue Oct 31 11:38:18 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975", URL = "http://w