期刊名称：THEORETICAL COMPUTER SCIENCE
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.
Papers published in Theoretical Computer Science are grouped in two sections according to their nature. One section `Algorithms, automata, complexity and games' is devoted to the study of algorithms and their complexity using analytical, combinatorial or probabilistic methods. It includes the whole field of abstract complexity (i.e. all the results about the hierarchies that can be defined using Turing machines), the whole field of automata and language theory (including automata on infinite words and infinitary languages), the whole field of geometrical (graphic) applications and the whole field of measurement of system performance using statistical methods. The subsection Mathematical Games is devoted (but not restricted) to the mathematical and computational analysis of games. It also covers connections or applications of games to areas such as complexity, graph and matroid theory, networks, coding theory, logic and surreal numbers.
The other section, `Logic, semantics and theory of programming', is devoted to formal methods to check properties of programs or implement formally described languages; it contains all papers dealing with semantics of sequential and parallel programming languages. All formal methods treating these problems are published in this section, including rewriting techniques, abstract data types, automatic theorem proving, calculi such as SCP or CCS, Petri nets, new logic calculi and developments in categorical methods
Instructions to Authors
General
Submission of an article implies that the work described has not been published previously (except in the form of an internal report or abstract or as part of a published lecture or academic thesis), that it is not under consideration for publication elsewhere, that its publication is approved by all authors and tacitly or explicitly by the responsible authorities where the work was carried out, and that, if accepted, it will not be published elsewhere in the same form, in English or in any other language, without the written consent of the Publisher.
Upon acceptance of an article, authors will be asked to transfer copyright. This transfer will ensure the widest possible dissemination of information. A form facilitating transfer of copyright will be provided.
Return to top of document
Submission to the journal
There are three options available for TCS:
- Authors are encouraged to submit their papers electronically by using online manuscript submission at http://www.elsubmit.com/esubmit/tcs. Authors interested in online submission are requested to go to the website and upload their manuscript and its associated artwork. An electronic (PDF) proof is generated and the reviewing process is carried out using that PDF. It is important that all graphical and tabular elements be placed within the text, so that the PDF is suitable for reviewing. This will also allow the preferred position of placement to be indicated, however please note that due to journal conventions, it may not be possible to meet all requirements for placement of artwork. Moreover, the PDF file may be edited after acceptance to follow journal standards. Authors and editors send and receive all correspondence by email via the website and no paper correspondence is performed.
- You can also submit your paper by E-mail to the editorial office tcsa@elsevier.nl for papers in the area of algorithms, automata, complexity and games or tcsb@elsevier.nl for papers in the area of logic, semantics and theory of programming. Use the phrase "TCS submission" in the subject line. In your message, please indicate the Editor who you feel is most competent to judge the work
- You can submit your paper by e-mail or post directly to the most competent Editor in the field covered by the paper. If submitting by e-mail, use a printable file format (PS, PDF or Word), preferably as an attachment to the e-mail. The printable format file will be used for the reviewing process. In choosing an Editor to handle your submission, the Editors-in-Chief should be considered as Editors among others. For e-mail and postal addresses of Editors, see the list of Editors in the printed issues or on the TCS homepage http://www.elsevier.com/locate/tcs.
Return to top of document
Sending accepted articles to Elsevier in electronic format
Wordprocessor documents
It is important that the file be saved in the native format of the wordprocessor used. The text should be in single-column format. Keep the layout of the text as simple as possible. Most formatting codes will be removed and replaced on processing the article. In particular, do not use the wordprocessor's options to justify text or to hyphenate words. However, do use bold face, italics, subscripts, superscripts etc. Do not embed 'graphically designed' equations or tables, but prepare these using the wordprocessor's facility. When preparing tables, if you are using a table grid, use only one grid for each individual table and not a grid for each row. If no grid is used, use tabs, not spaces, to align columns. The electronic text should be prepared in a way very similar to that of conventional manuscripts (see also Guide for electronic submission: http://authors.elsevier.com. Do not import the figures into the text file but, instead, indicate their approximate locations directly in the electronic text and on the manuscript. See also the section on Preparation of electronic illustrations.
To avoid unnecessary errors you are strongly advised to use the 'spellchecker' function of your wordprocessor.
LaTeX documents
If the LaTeX file is suitable, proofs will be produced without rekeying the text. The article should preferably be written using Elsevier Science's document class 'elsart', or alternatively the standard document class 'article'.
The Elsevier LaTeX package (including detailed instructions for LaTeX preparation) can be obtained from Elsevier's web site: http://www.elsevier.nl/locate/latex, or http://www.elsevier.com/locate/latex, or from the Comprehensive TeX Archive Network (CTAN): see below.
To obtain the package from CTAN, use direct access via FTP at Germany, United Kingdom , or USA, or search for Elsevier with one of the CTAN search engines http://ctan.tug.org/CTANfind.html, http://www.tex.ac.uk/CTANfind.html, or http://www.dante.de/cgi-bin/ctan-index.
Figures may be inserted in the usual way using an \includegraphics command, at the position in the article where they are cited.
Your LaTeX file will be most useful as input for the printed article if you obey the following rules of thumb:
1. Be consistent. If you use a macro for a phrase, use it throughout.
2. Use standard LaTeX mark-up. Do not hardcode your own layout for e.g. section headings, but use the usual LaTeX macro for this purpose.
3. Keep it simple. Do not define macros that accomplish complicated layout. They will also make the input process complicated.
Return to top of document
Preparation of text
Presentation of manuscript
General
Provide the following data on the first page (in the order given).
Title. Concise and informative. Titles are often used in information-retrieval systems. Avoid abbreviations and formulae where possible.
Author names and affiliations. Where the family name may be ambiguous (e.g., a double name), please indicate this clearly. Present the authors' affiliation addresses (where the actual work was done) below the names. If the work was carried out at more than one address, indicate the affiliation(s) of each author with a lower-case superscript letter immediately after the author's name and in front of the appropriate address (provided for each affiliation, including the first one). Provide the full postal address of each affiliation, including the country name, and, if available, the e-mail address of each author.
Corresponding author. Clearly indicate who is willing to handle correspondence at all stages of refereeing and publication, also post-publication. Ensure that telephone and fax numbers are provided in addition to the e-mail address and the complete postal address.
Present/permanent address. If an author has moved since the work described in the article was done, or was visiting at the time, a 'Present address' (or 'Permanent address') may be indicated as a footnote to that author's name. The address at which the author actually did the work must be retained as the main, affiliation address. Superscript Arabic numerals are used for such footnotes.
Abstract. A concise and factual abstract is required. The abstract should state briefly the purpose of the research, the principal results and major conclusions. An abstract is often presented separate from the article, so it must be able to stand alone.
References should therefore be avoided, but if essential, they must be cited in full, without reference to the reference list.
Keywords. Immediately after the abstract, provide a maximum of five keywords, using American spelling and avoiding general and plural terms and multiple concepts (avoid, for example, 'and', 'of'). Be sparing with abbreviations: only abbreviations firmly established in the field may be eligible. These keywords will be used for indexing purposes.
N.B. Acknowledgements. Collate acknowledgements in a separate section at the end of the article and do not, therefore, include them on the title page, as a footnote to the title or otherwise.
Arrangement of the article
Subdivision of the article. After the abstract, divide your article into clearly defined and numbered sections. Subsections should be numbered 1.1 (then 1.1.1, 1.1.2, ?), 1.2, etc. (the abstract is not included in section numbering). Use this numbering also for internal cross-referencing: do not just refer to 'the text.' Any subsection may be given a brief heading. It is not necessary to underline or italicize such a heading, but it should appear on its own separate line.
Introduction. State the objectives of the work and provide an adequate background, avoiding a detailed literature survey.
References. See References, below.
Figure legends, tables, figures, schemes. Present these, in this order, at the end of the article. They are described in more detail below. If you are working with LaTeX and have such features embedded in the text, these can be left, but such embedding should not be done specifically for publishing purposes. Further, high-resolution graphics files must be provided separately (see Preparation of electronic illustrations).
Text graphics. Present incidental graphics not suitable for mention as figures, plates or schemes at the end of the article and number them 'Graphic 1', etc. Their precise position in the text can then be defined similarly (both on the manuscript and in the file). See further under the section, Preparation of electronic illustrations. Ensure that high-resolution graphics files are provided, even if the graphic appears as part of your normal wordprocessed text file.
Specific remarks
Mathematical formulae. Present simple formulae in the line of normal text where possible. In principle variables are to be presented in italics. For fractions use:
Xp/Ym rather than:
Xp
Ym
Powers of e are often more conveniently denoted by exp.
Number consecutively any equations which have to be displayed separate from the text (if referred to explicitly in the text).
Footnotes. Footnotes should be used sparingly. Number them consecutively throughout the article, using superscript Arabic numbers. Many wordprocessors build footnotes into the text, and this feature may be used. Should this not be the case, indicate the position of footnotes in the text and present the footnotes themselves on a separate sheet at the end of the article. Do not include footnotes in the Reference list.
Tables. Number tables consecutively in accordance with their appearance in the text. Place footnotes to tables below the table body and indicate them with superscript lowercase letters. Avoid vertical rules. Be sparing in the use of tables and ensure that the data presented in tables do not unnecessarily duplicate results described elsewhere in the article.
Return to top of document
References
Responsibility for the accuracy of bibliographic citations lies entirely with the authors.
Citations in the text: Please ensure that every reference cited in the text is also present in the reference list (and vice versa). Any references cited in the Abstract must be given in full. Unpublished results and personal communications should not be in the reference list, but may be mentioned in the text. Citation of a reference as 'in press' implies that the item has been accepted for publication.
Citing and listing of web references. As a minimum, the full URL should be given. Any further information, if known (author names, dates, reference to a source publication, etc.), should also be given. Web references can be listed separately (e.g., after the reference list) under a different heading if desired, or can be included in the reference list.
Text: Indicate references by number(s) in square brackets in line with the text. The actual authors can be referred to, but the reference number(s) must always be given.
Example: "..... as demonstrated [3,6]. Barnaby and Jones [8] obtained a different result ...."
List: The list of references is arranged alphabetically and then numbered (numbers in square brackets).
Examples:
Reference to a journal publication:
[1] J. van der Geer, J.A.J. Hanraads, R.A. Lupton, The art of writing a scientific article, J. Sci. Commun. 163 (2000) 51-59.
Reference to a book:
[2] W. Strunk Jr., E.B. White, The Elements of Style, third ed., Macmillan, New York, 1979.
Reference to a chapter in an edited book:
[3] G.R. Mettam, L.B. Adams, How to prepare an electronic version of your article, in: B.S. Jones, R.Z. Smith (Eds.), Introduction to the Electronic Age, E-Publishing Inc., New York, 1999, pp. 281-304.
Return to top of document
Preparation of illustrations
General
Number illustrations consecutively in the order in which they are referred to in the text. They should accompany the manuscript, but should not be included within the text.
See also the section on Preparation of electronic illustrations below.
Mark the appropriate position of a figure in the article.
Captions
Ensure that each illustration has a caption. Supply captions on a separate sheet, not attached to the figure. A caption should comprise a brief title (not on the figure itself) and a description of the illustration. Keep text in the illustrations themselves to a minimum but explain all symbols and abbreviations used.
Preparation of Electronic Illustrations
Submitting your artwork in an electronic format helps us to produce your work to the best possible standards, ensuring accuracy, clarity and a high level of detail.
General points
- Always supply high-quality printouts of your artwork, in case conversion of the electronic artwork is problematic.
- Make sure you use uniform lettering and sizing of your original artwork, where possible.
- Save text in illustrations as "graphics" or enclose the font.
- Number the illustrations according to their sequence in the text.
- Use a logical naming convention for your artwork files, and supply a separate listing of the files and the software used.
- Provide all illustrations as separate files and as hardcopy printouts on separate sheets.
- Provide captions to illustrations separately.
- Produce images near to the desired size of the printed version.
A detailed guide on electronic artwork is available on our website:
http://authors.elsevier.com
You are urged to visit this site; some excerpts from the detailed information are given here.
Formats
Suggested drawing/image applications for your graphics are Adobe PhotoShop, Adobe Illustrator, CorelDraw and Freehand. (Note the resolution requirements for line drawings, halftones, and line/halftone combinations as given below.) If you are using other applications, please convert the drawing or graphic images to one of the following formats:
EPS: Vector drawings. Embed the font.
TIFF: Colour or greyscale photographs (halftones): always use 300 dpi. For colour images always use CMYK.
TIFF: Bitmapped line drawings: use 1000 dpi.
TIFF: Combinations bitmapped line/half-tone: a minimum of 500 dpi is required.
Scan your colour illustrations at 300 dpi (500 dpi for colour line/halftone combinations). With CMYK electronic files include a 4-colour machine or cromalin proof and check that all the separations (if provided) are colour-coded. Produce computer-generated graphics in greyscale if they are to be published in black and white.
Please do not:
- Supply embedded graphics in your wordprocessor (spreadsheet, presentation) document;
- Supply files that are optimised for screen use (like GIF, BMP, PICT, WPG); the resolution is too low;
- Supply files that are too low in resolution;
- Submit graphics that are disproportionately large for the content.
Return to top of document
Proofs
When the Publisher receives your manuscript, it is considered to be in its final form. Proofs are not to be regarded as 'drafts'.
One set of page proofs in PDF format will be sent to the corresponding author, to be checked for typesetting/editing. No changes in, or additions to, the accepted (and subsequently edited) manuscript will be allowed at this stage. Proofreading is solely your responsibility.
A form with queries from the copyeditor may accompany your proofs. Please answer all queries and make any corrections or additions required.
The Publisher reserves the right to proceed with publication if corrections are not communicated. Return corrections within three weeks of receipt of the proofs. Should there be no corrections, please confirm this.
Return to top of document
Submission checklist
It is hoped that this list will be useful during the final checking of an article prior to sending it to the journal's editor for review. Please consult this Guide for Authors for further details of any item.
Ensure that the following items are present:
 One author designated as corresponding author:
- E-mail address
- Full postal address
- Telephone and fax numbers
Electronic file in good order
- file name(s)
- media format (e.g., PC, Mac)
- file format (e.g., Word, LaTeX)
All text pages
Keywords
Original artwork (high-quality prints) (not required for original submission)
All figure captions
All tables (including title, description, footnotes)
Further considerations (for final submission)
Manuscript has been "spellchecked"
References are in the correct format for this journal
All references mentioned in the Reference list are quoted in the text, and vice versa
Permission has been obtained for use of copyrighted material from other sources (including the Web)
Colour figures clearly marked as being intended for colour reproduction or to be reproduced in black-and-white.
Guide to online Submission
Welcome to the Elsevier online submission service. This service has been designed to be as easy as possible to use. Authors can upload their article as a LaTeX, Microsoft?(MS) Word?/B> or WordPerfect?/B>. It is also possible to submit an article in PostScript or Adobe?Acrobat?PDF format, but if the article is accepted it will be necessary to send in the original source files.
The system generates an Adobe Acrobat PDF version of the article which is used for the reviewing process. Authors, Reviewers and Editors send and receive all correspondence by e-mail and no paper correspondence is necessary. Note: articles are converted into PDF for the review process but may be edited after acceptance to follow journal standards.
Click here for a walkthrough of the online submission process
Journal specific guidelines on types of article accepted and how to prepare your article can be found in the Author Gateway journal page, in the Guide for Authors.
Word Processor Formats
Please submit your article as a file in one of the following formats:
- MS Word 6
- MS Word 97
- MS Word 98 for Macintosh?
- MS Word 2000
- WordPerfect 6.1 or higher
- RTF
Important notes on word processor file preparation
- For review purposes you must submit your article as a SINGLE FILE. You need to embed all your figures and tables within this file.
- Fonts: Please choose Times, Times New Roman, Courier, Arial or Helvetica fonts as much as possible. Other fonts (e.g. Chinese, Japanese and Korean (CJK) character fonts) may cause the PDF conversion to fail. If your manuscript does not correctly convert to PDF, replace the font(s) where necessary and try again.
- Most formatting codes will be removed or replaced on processing your article so there is no need for you to apply excessive layout styling. In addition, avoid options such as automatic word breaking, justified layout, double columns, automatic paragraph numbering (especially for numbered references). However, do use bold face, italic, subscripts, superscripts, etc.
- For the production of your article you will also have to submit your graphic files separately as high resolution graphics. (See also the section on Electronic Artwork below.)
LaTex
For general instructions on how to prepare an article using LaTeX, see the Latex file guidelines. In addition, please note the following:
- Include all your graphics in the LaTeX file, e.g. with the \includegraphics from the graphics package.
- Submit any special class (or style) files and other macro files with your article. We are using an up-to-date TeX installation (TeXLive5d), so you need not include any of the standard packages.
PDF
If possible, please submit the original LaTeX or word processor files: this website will take care of converting them into a PDF file.
If you wish to create your own PDF, download the ES_review.joboptions to the "Settings" folder of your Acrobat Distiller and choose the "ES_review" joboptions before converting your file.
Note: This joboptions file is for Adobe Distiller v4.05 and later. If you are still working with an older version, or if you need more help, see. PDF settings .
File naming
To avoid confusion, please make sure your file has a short, descriptive name. Short means less than 30 characters and descriptive means names like figure1.tif and smith-article-version1.doc.
For the production of your paper in the journal we need high-resolution graphic files in either TIFF or EPS. For information on how to prepare your artwork for electronic submission, see http://authors.elsevier.com/artwork.
The online submission process
- Find the journal on the Author Gateway by searching or browsing
- Read the 'Guide for Authors' for specific instructions on submitting a paper to that journal
- Click on the 'online submisssion' link in the right hand journal services box
- Log in if you are already a registered user (if you are not already a registered user you need to 'create a profile' by submitting your contact details and choosing a username/password combination). This creates a completely secure environment to send your paper to us online.
- Once you are logged in you are taken to the Journal's submission page where you choose to 'Submit New Paper'. You are taken through the following steps:
- Enter data related to your manuscript (Title, Authors, Keywords etc.)
- Choose the accepting Editor. (if the Journal has more than one Editor, you will find a drop-down list with the names of all the Editors of this Journal to whom you may submit your article. The journal Guide for Authors will give you more information on how to decide which Editor to choose)
- Upload your manuscript file(s). See the section on File Formats for more information.
- The website creates a PDF from your source file(s). You must check this PDF as it will be sent to the reviewers. If the PDF is not OK edit and resubmit your source file(s) or contacts author support for advice - PDF/PostScript source can be submitted as well as LaTeX/Word Processor files.
- Upload your figures separately for the production process and select how you want your figures to appear in print (colour or black and white). If the figures are too large (>5 Mb) you may send manually direct to the editor.
- Check your submission details are correct and press submit to send your files to the journal editor
- You will receive an acknowledgement email to say the paper is under review
- Until the review process is completed you will not be able to update your submission from the website. If you have made a mistake you must contact the editor.
If revision is required:
- You will receive an email from the editor
- You can revise your paper by using the link in the email which takes you back to the online submission service (when revising your paper all the previous information is retained - no retyping is needed but it can be updated and new files attached). Alternatively you can access the paper directly from the Journal's online submission page or from 'my home' on the Author Gateway.
- Make any changes necessary and add or remove figures/other files
- A revised PDF is created which is sent to the editor at the end of the process and you receive an acknowledgement email
- Once your new version is submitted you will not be able to make any further revisions from the website
After submission
For information on the status of your article, please contact the Editor to whom you submitted your article. There is an email link to the editor in the journal's online submission service or on 'my home' in the Author Gateway.
You will receive an email containing the final decision of the Editor, containing editorial comments.
Once your paper has been accepted you can track its progress from your home page on the Author Gateway. It will automatically move from the 'Online Submissions' section of 'my home' to 'Accepted Papers'. From here you can view the progress of your paper through the production process to the final published article. We will also email you with the major milestones, including a direct link to your article when it appears on ScienceDirect. For more information on tracking go to Getting Published with Elsevier.
If you have any comments about this document, or any difficulties using this electronic submission site, please contact Author Support at Elsevier.
Click here for a walkthrough of the online submission process
Editorial Board
Editors-in-Chief:
G. Ausiello, TCS-A Univ. di Roma, La Sapienza, Dip. Inform. e Sistemistica, via Salaria 113, 00198 Roma, Italy. Email: ausiello@dis.uniroma1.it
D. Sannella, TCS-B University of Edinburgh, Laboratory for Foundations of Computer Science, Division of Informatics, Kings' Building, Mayfield Road, Edinburgh, EH9 3JZ, UK. Email: dts@dcs.ed.ac.uk
M.W. Mislove, ENTCS Tulane University, Department of Mathematics, New Orleans, LA 70118, USA. Email: mwm@math.tulane.edu
Founding Editor:
M. Nivat, Universit?de Paris VII, Laboratoire d'Informatique Algorithmique: Fondements et Applications, 10 Avenue des Chardonnerets, 95570 Attainville, France.
Honorary Board :
C. Böhm, Universit?di Roma, La Sapienza, via S. Crescenziano 20, I-00199 Rome, Italy. Tel: +39 (6) 88 45 235, Fax: +39 (6) 88 41 964, Email: bohm@astrom.dnet.nasa
E. Engeler, ETH Zentrum, Department of Mathematics, CH-8092, Zürich, Switzerland. Tel: +41 1 632 2225, Fax: +41 1 632 1085, Email: engeler@math.ethz.ch
P. Flajolet, INRIA, Dom. de Voluceau-Rocquencourt, B.P. 105, F-78153 Le Chesnay Cedex, France. Tel: +33 1 39 63 56 26, Email: philippe.flajolet@inria.fr
M.A. Harrison, University of California, Computer Science Division, 775 Soda Hall, Berkeley, CA 94720-1776, USA. Fax: +1 (510) 527 54 38, Email: harrison@cs.berkeley.edu
A.R. Meyer, Massachusetts Institute of Technology, Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, USA. Email: meyer@lcs.mit.edu
R. Milner, University of Cambridge, Computer Laboratory, New Museums Site, Penbrooke Street, Cambridge CB2 3QG, UK. Tel: +44 233 334600, Fax: +44 223 334678
F.D. Preparata, Brown University, Department of Computer Science, P.O. Box 1910, Providence, RI 02912-1910, USA. Email: france@cs.brown.edu
E. Shamir, The Hebrew University, Department of Mathematics, Jerusalem, 91904 Israel. Email: shamir@cs.huji.ac.il
R. Siromoney, Madras Christian College, Department of Mathematics, Tambaram, Madras, 600059, India. Email: ranisiro@satyam.net.in
Editorial Board: Algorithms, Automata, Complexity and Games (TCS-A)
A. Apostolico, Purdue University, Department of Computer Science, 1398 Computer Science Building, West Lafayette, IN 47907-1398, USA. Fax: +1 (317) 494 0739, Email: axa@cs.purdue.edu
G. Ausiello, Universit?di Roma, La Sapienza, Dip. Inform. e Sistemistica, via Salaria 113, 00198, Rome, Italy. Tel: +39 (6) 8841923, Fax: +39 (6) 8442383, Email: ausiello@dis.uniroma1.it
M. Crochemore, Universit?de Marne la Vallée, Institut Gaspard Monge, F-77454 Marne-la-Vallee Cedex 2, France. Tel: +33 (1) 6095 7563, Fax: +33 (1) 6095 7557, Email: mac@univ-mlv.fr
F. Cucker, City University of Hong Kong, Department of Mathematics, 83 Tat Chee Avenue, Kowloon, Hong Kong. Email: macucker@sobolev.cityu.edu.hk
J. Díaz, Universidad Politechnico de Barcelona, Facultad d'Informatica, Pau Gargallo 5, 08028 Barcelona, Spain. Email: diaz@lsi.upc.es
Ding-Zhu Du, University of Minnesota, Department of Computer Science, Minneapolis, MN 55455, USA. Tel: +1 612 624 7820, Fax: +1 612 625 0572, Email: dzd@cs.umn.edu
B. Durand, LIM-CMI, 39 rue Joliot-Curie, 13453 Cedex 13 Marseille, France. Email: bruno.durand@cmi.univ-mrs.fr
Z. Esik, University of Szeged, Department of Computer Science, P.O.B. 652, 6720 Szeged, Hungary. Tel: +36 62 544289, Fax: +36 62 420292, Email: ze@inf.u-szeged.hu
A. Fiat, Department of Computer Science, Tel-Aviv University, 69978 Tel Aviv, Israel Email: fiat@tau.ac.il
A.S. Fraenkel, Weizmann Institute of Science, Faculty of Mathematical Science, Dept. of Computer Science and Applied Mathematics, P.O. Box 26, Rehovot 76100, Israel. Tel: +972 8 934 35 39, Fax: +972 8 934 41 22, Email: fraenkel@wisdom.weizmann.ac.il
E. Goles, Universidad de Chile, Fac. Ciencias Fisicas y Matemática, Departamento de Ingenieria Matemática, Casilla 170 correo 3, Santiago, Chile. Tel: +56 2 6952761, Fax: +56 2 6712799, Email: egoles@dim.uchile.cl
P. Gritzmann, Technische Universität München, Zentrum Mathematik, Gabelsbergerstrasse 43, D- 80290 München, Germany. Tel: +49 89 289 28297 , Fax: +49 89 289 25150 , Email: gritzman@mathematik.tu-muenchen.de
O.H. Ibarra, University of California at Santa Barbara, Department of Computer Science, Santa Barbara, CA 93106, USA. Tel: +1 (805) 893 4171, Fax: +1 (805) 893 8553, Email: ibarra@cs.ucsb.edu
G.F. Italiano, Dipartimiento di Informatica, Sistemi e Produzione, Universita degli studi di Roma 'Tor Vergata', Via di Tor Vergata 110, 00133 Roma, Italy Email: italiano@disp.uniroma2.it
M. Ito, Kyoto Sangyo University, Faculty of Science, Kamigamo-Motoyama, Kita-ku, Kyoto, 603 Japan. ext 2231, Tel: +81 (75) 701 2151, Fax: +81 (75) 722 2630, Email: ito@ksuvx0.kyoto-su.ac.jp
M. Jerrum, University of Edinburgh, The King's Building, Department of Computer Science, Mayfield Road, Edinburgh EH9 3JZ, UK. Tel: +44 131 650 5134, Fax: +44 131 667 7209, Email: mrj@dcs.ed.ac.uk
D.E. Loeb, Susquehanna Investment Group, 401 City Avenue, Suite 220, Bala Cynwyd, PA 19004 USA. Email: loeb@susq.com
S. Miyano, University of Tokyo, Institute of Medical Science, Human Genome Center, Shirokanedai 4-6-1, Minato-ku, Tokyo 108, Japan. Tel: +81 3 5449 5615, Fax: +81 3 5449 5434, Email: miyano@ims.u-tokyo.ac.jp
M. Nivat, Universit?de Paris VII, Laboratoire d'Informatique Algorithmique: Fondements et Applications, 10 Avenue des Chardonnerets, 95570 Attainville, France. Email: maurice.nivat@liafa.jussieu.fr
V. Pan, City University of New York, Lehman College, Department of Mathematics and Computer Science, 250 Bedford Park Boulevard West, Bronx, NY 10468-1589, USA. Tel: +1 (212) 960 8117, Email: vpan@lcvax.lehman.cuny.edu
D. Peleg, Faculty of Mathematics, Department of Computer Science and Applied Mathematics, The Weizman Institute, Rehovot 76100, Israel. Email: david.peleg@weizmann.ac.il
D. Perrin, Universit?de Marne la Vallée, Laboratoire d'Informatique - CNRS, Institut Gaspard Monge, F-77454 Marne-la-Vallée Cedex 2, France. Email: perrin@univ-mlv.fr
H. Prodinger, University of Witwatersrand, Department of Mathematics, P.O. Wits, 2050 Johannesburg, South Africa. Email: helmut@cam.wits.ac.za
A.A. Razborov, IAS, School of Mathematics, Einstein Drive, Princeton, NJ 08540, USA Email: razborov@math.ias.edu
R. Rovan, Comenius University, MFF UK, Department of Computer Science, Mlynska Dolina, 842 15 Bratislava, Slovakia. Tel: +42 7 726635, Fax: +42 7 727041, Email: rovan@fmph.uniba.sk
G. Rozenberg, Leiden University, Leiden Institute of Advanced Computer Science, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands. Tel: +31 (71) 5277061/67, Fax: +31 (71) 5276985, Email: rozenber@liacs.nl
A. Salomaa, Turku Centre for Computer Science, Lemminkaisenkatu 14A, 20520 Turku, Finland Tel: +358 2 333 8790, Fax: +358 2 241 0154, Email: asalomaa@utu.fi
C. Smith, University of Maryland, Department of Computer Science, A.V.Williams Building, College Park, MD 20742-3255, USA. Email: smith@cs.umd.edu
P. Spirakis, Computer Technology Institute (CTI), P.O. Box 1122, 26110 Patras, Greece. CTI)/+30 61 997703 (Univ. Off.), Tel: +30 61 220112 (, Fax: +30 61 222086, Email: spirakis@cti.gr
W. Szpankowski, Purdue University, Department of Computer Science, 1398 Computer Science Building, West Lafayette, IN 47907-1398, USA. Tel: +1 765 494 6703, Fax: +1 765 494 0739, Email: spa@cs.purdue.edu
H.J. van den Herik, University of Maastricht, Department of Computer Science, P.O. Box 616, 6200 MD Maastricht, The Netherlands. Tel: +31 43 3883485, Fax: +31 43 3252393, Email: herik@cs.unimaas.nl
O. Watanabe, Tokyo Institute of Technology, Department of Mathematical and Computing Sciences, Meguro-ku, Ookayama, Tokyo 152-8552, Japan. Email: watanabe@is.titech.ac.jp
Editorial Board: Logic, Semantics and Theory of Programming (TCS-B)
P.-L. Curien, Universit?Paris 7, PPS-Case 7014, 2 pl. Jussieu,75251 Paris Cedex 05, France. Tel: +33 (1) 43 29 12 25, Email: curien@pps.jussieu.fr
J.W. de Bakker, Mathematics and Computer Science, Department of Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands. Tel: +31 (20) 592 4136, Fax: +31 (20) 592 4199, Email: jaco@cwi.nl
J. Gallier, University of Pennsylvania, Moore School of Electrical Engineering, Department of Computer and Information Science, 200 South 33rd Street, Philadelphia, PA 19104-6389, USA. Email: jean@saul.cis.upenn.edu
R. Gorrieri, University of Bologna, Department of Computer Science, Bologna, Italy. Email: gorrieri@cs.unibo.it
T.A. Henzinger, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, FA 94720-1770, USA Tel: +1 510 643 2430, Fax: +1 510 643 5052, Email: tah@eecs.berkeley.edu
B. Jacobs, Departmment of Computer Science, University of Nijmegen, Toernooiveld 1, 6525 ED Nijmegen, The Netherlands Tel: +31 24 365 2236, Fax: +31 24 365 3137, Email: bart@cs.kun.nl
H. Katsuno, NTT Basic Research Laboratories, 3-1 Morinosato-Wakamiya, Atsugi, Kanagawa 243-01, Japan. Tel: +81 462 40 3635, Fax: +81 462 40 4709, Email: katsuno@theory.brl.ntt.jp
A.A. Leticevsky, Institute for Cybernetics, pr. akad. Gluskova 40, 252207 Kiev, Ukraine. Email: al@etichevsky.kiev.ua
G. Levi, Universit?di Pisa, Dipartimento di Informatica, Via Buonarroti, 2, I-56100 Pisa, Italy. Tel: +39 (50) 51 0111, Fax: +39 (50) 51 0226, Email: levi@di.unipi.it
Z. Manna, Stanford University, Computer Science Department, Stanford, CA 94305, USA. Email: manna@cs.stanford.edu
M. Mavronicolas, University of Cyprus, Department of Computer Science, P.O. Box 20537, Nicosia CY-1678 Cyprus. Email: mavronic@cs.ucy.ac.cy
M. Mislove, Tulane University, Department of Mathematics, New Orleans, LA 70118, USA. http://www.math.tulane.edu/~mwm Email: mwm@math.tulane.edu
U. Montanari, Universita'; di Pisa, Dipartimento di Informatica, Via Filippo Buonarroti, 2, I-56127, Pisa, Italy. Tel: +39 (50) 2212721, Fax: +39 (50) 2212726, Email: ugo@di.unipi.it
M. Nielsen, University of Aarhus, BRICS, Computer Science Deaprtment/Bld. 540, Ny Munkegade, DK-8000 Aarhus C, Denmark Tel: +45 8942 3260, Fax: +45 8942 3255, Email: mnielsen@brics.dk
M. Nivat, Universit?de Paris VII, Laboratoire d'Informatique Algorithmique: Fondements et Applications, 10 Avenue des Chardonnerets, 95570 Attainville, France. Email: maurice.nivat@liafa.jussieu.fr
B.C. Pierce, Department of Computer & Information Science, University of Pennsylvania, 200 South 33rd Street, Philadelphia, PA 19104-6389, USA Tel: +1 215 898 2012, Fax: +1 215 898 0587, Email: bcpierce@cis.upenn.edu
G.D. Plotkin, University of Edinburgh, Department of Computer Science, The King's Buildings, Edinburgh EH9 3JZ, UK. Tel: +44 (31) 650 1000, Email: gdp@lfcs.ed.ac.uk
G. Rozenberg, Leiden University, Leiden Institute of Advanced Computer Science, Niels Bohreweg 1, 2333 CA Leiden, The Netherlands Tel: +31 (71) 5277061/67, Fax: +31 (71) 5276985, Email: Rozenber@liacs.nl
D. Sannella, University of Edinburgh, Laboratory for Foundations of Computer Science, Division of Informatics, King's Building, Mayfield Road, Edinburgh EH9 3JZ, UK. Email: dts@dcs.ed.ac.uk
P.S. Thiagarajan, SPIC Science Foundation, School of Mathematics, 92 G.N. Chetty Road, T. Nagar, Madras-600 017, India. Tel: +91 (44) 884 232, Fax: +91 (44) 825 6842, Email: pst@ssf.ernet.in
J. Tiuryn, Institute of Informatics, ul. Banacha 2, 00-193 Warsaw, Poland. Email: tiuryn@mimuw.edu.pl
J.D. Ullman, Stanford University, Department of Computer Science, Building 460, Stanford, CA 94305-2140, USA. Email: ullman@cs.stanford.edu
M. Wirsing, Ludwig-Maximilians-Universität, Institut für Mathematik, Oettingenstrasse 67, D-80536 München, Germany. Tel: +49 (89) 2180 6318 (17), Fax: +49 (89) 2180 5246, Email: wirsing@informatik.uni-muenchen.de
Editorial Board: Electronic Notes in Theoretical Computer Science
M.W. Mislove (Managing Editor), Tulane University, Department of Mathematics, New Orleans, LA 70118, USA. Tel: +1 (504) 862 3441, Fax: +1 (504) 865 5063, Email: mwm@math.tulane.edu
S. Arora, Princeton University, Department of Computer Science, 35 Olden St. Princeton NJ 08544, UK. http://www.cs.princeton.edu/~arora Email: arora@cs.princeton.edu
G. Ausiello, Universit?di Roma, La Sapienza, Dip. Inform. e Sistemistica, via Salaria 113, 00198, Rome, Italy. Tel: +39 (6) 8841923, Fax: +39 (6) 8442383, Email: ausiello@dis.uniroma1.it
S. Brookes, Carnegie-Mellon University, School of Computer Science, 5000 Forbes Avenue, Pittsburgh, PA 15213-3890, USA. Email: brookes@cs.cmu.edu,
R. Cleaveland, SUNY at Stony Brook, Department of Computer Science, Stony Brook, NY 11794-4400, USA. http://www.cs.sunysb.edu/~rance Email: rance@cs.sunysb.edu
P. Creszenzi, Universit?degli Studi di Firenze, Dipartimento di Sistemi e Informatica, Via C. Lombroso 6/17, 50134 Firenze, Italy. Email: piluc@dsi.unifi.it
V. Diekert, Universität Stuttgart, Institut für Informatik, Breitwiesenstrasse 20-22, D-70565 Stuttgart, Germany. Email: diekert@informatik.uni-stuttgart.de
A. Fiat, Tel Aviv University, School of Mathematical Sciences, Department of Computer Science, Tel Aviv, Israel. http://www.math.tau.ac.il/~fiat Email: fiat@math.tau.ac.il/~fiat
A. Jung, The University of Birmingham, School of Computer Science, Edgbaston, Birmingham, B15 2TT, UK. Email: A. Jung@cs.bham.ac.uk
E. Moggi, University of Genova, Department of Mathematics, Via. L.B. Alberti 4, 16132, Genova, Italy. Email: moggi@disi.unige.it
M. Nivat, LIAFA, University of Genova, Via L.B. Alberti 4, 16132, Genova, Italy. Email: tcsmn@litp.ibp.fr
C. Palamidessi, The Pennsylvania State University, Department of Computer Science and Engineering, 325 Pond Laboratory, University Park, PA 16802-6106 USA. http://www.cse.psu.edu/~catuscia Email: catuscia@cse.psu.edu
G. Rozenberg, Leiden University, Department of Computer Science, P.O. Box 9512, 2300 RA Leiden, The Netherlands Tel: +31 (71) 5277067, Fax: +31 (71) 5276985, Email: rozenber@wi.leidenuniv.nl
J.J.M.M. Rutten, CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands. Email: jan.rutten@cwi.nl
D. Sannella, University of Edinburgh, Laboratory for Foundations of Computer Science, Division of Informatics, King's Building, Mayfield Road, Edinburgh EH9 3JZ, UK. Email: dts@dcs.ed.ac.uk
M. Vardi, Rice University, Department of Computer Science, Mail Stop 132, 6100 S. Main Street, Houston, TX 77005-1892, USA. Email: vardi@cs.rice.edu
R.F. Wachter, Office of Naval Research,Computer and Information Science Div., Code 311, 800 North Quincy Street, Arlington, VA 22217-5660, USA. Email: wachter@itd.nrl.navy.mil
|
