November 25, 2004 14:37 WSPC/INSTRUCTION FILE ws-ijfcs

International Journal of Foundations of Computer Science

c World Scientific Publishing Company

INSTRUCTIONS FOR TYPESETTING CAMERA-READY

MANUSCRIPTS USING COMPUTER SOFTWARE∗

FIRST AUTHOR†
University Department, University Name, Address
City, State ZIP/Zone,Country‡
author id@domain name§
http://<webaddress>

SECOND AUTHOR
Group, Laboratory, Address
City, State ZIP/Zone, Country
author id@domain name

Received (Day Month Year)

Accepted (Day Month Year)
Communicated by (xxxxxxxxxx)

The abstract should summarize the context, content and conclusions of the paper in less
than 200 words. It should not contain any reference citations or displayed equations.
Typeset the abstract in 8 pt roman with baselineskip of 10 pt, making an indentation of
1.5 pica on the left and right margins.

Keywords: Keyword1; keyword2; keyword3.

1991 Mathematics Subject Classification: 22E46, 53C35, 57S20

1. General Appearance
Contributions to the International Journal of Foundations of Computer Science will
mostly be processed by using the authors’ source files. These should be submitted
with the manuscripts, and resubmitted in the final form if a paper requires revision
before being accepted for publication.

∗ For the title, try not to use more than 3 lines. Typeset the title in 10 pt bold and uppercase.
† Typeset names in 8 pt roman, uppercase. Use the footnote to indicate the present or permanent
address of the author.
‡ State completely without abbreviations, the affiliation and mailing address, including country.

Typeset in 8 pt italic.
§ Typeset author e-mail address in single line.

1
November 25, 2004 14:37 WSPC/INSTRUCTION FILE ws-ijfcs

2 Authors’ Names

2. The Main Text

Authors are encouraged to have their contribution checked for grammar. American
spelling should be used. Abbreviations are allowed but should be spelt out in full
when first used. Integers ten and below are to be spelt out. Italicize foreign language
phrases (e.g. Latin, French).
The text should be in 10 pt roman, single spaced with baselineskip of 13 pt.
Text area (excluding copyright block and folio) is 6.9 inches high and 5 inches
wide for the first page. Text area (excluding running title) is 7.7 inches high and
5 inches wide for subsequent pages. Final pagination and insertion of running titles
will be done by the publisher.

3. Major Headings
Major headings should be typeset in boldface with the first letter of important
words capitalized.

3.1. Sub-headings
Sub-headings should be typeset in boldface italic and capitalize the first letter of
the first word only. Section number to be in boldface roman.

3.1.1. Sub-subheadings
Typeset sub-subheadings in medium face italic and capitalize the first letter of the
first word only. Section numbers to be in roman.

3.2. Numbering and spacing

Sections, sub-sections and sub-subsections are numbered in Arabic. Use double spac-
ing before all section headings, and single spacing after section headings. Flush left
all paragraphs that follow after section headings.

3.3. Lists of items

List may be presented with each item marked by bullets and numbers.

Bulleted items
• item one,
• item two,
• item three.

Numbered items
1. item one,
November 25, 2004 14:37 WSPC/INSTRUCTION FILE ws-ijfcs

Instructions for Typing Manuscripts (Paper’s Title) 3

2. item two,
3. item three,
The order of subdivisions of items in bullet and numbered lists may be presented
as follows:

Bulleted items
• First item in the first level
• Second item in the first level
– First item in the second level
– Second item in the second level
∗ First item in the third level
∗ Second item in the third level
– Third item in the second level
– Fourth item in the second level
• Third item in the first level
• Fourth item in the first level

Numbered items
1. First item in the first level
2. Second item in the first level
(a) First item in the second level
(b) Second item in the second level
i. First item in the third level
ii. Second item in the third level
iii. Third item in the third level
(c) Third item in the second level
(d) Fourth item in the second level
3. Third item in the first level
4. Fourth item in the first level

4. Equations
Displayed equations should be numbered consecutively, with the number set flush
right and enclosed in parentheses. The equation numbers should be consecutive
within the contribution.
P∞
1(di < t, N (di ) = n)
µ(n, t) = i=1
Rt . (1)
σ=0 1(N (σ) = n)dσ
Equations should be referred to in abbreviated form, e.g. “Eq. (1)” or “(2)”. In
multiple-line equations, the number should be given on the last line.
November 25, 2004 14:37 WSPC/INSTRUCTION FILE ws-ijfcs

4 Authors’ Names

Displayed equations are to be centered on the page width. Standard English let-
ters like x are to appear as x (italicized) in the text if they are used as mathematical
symbols. Punctuation marks are used at the end of equations as if they appeared
directly in the text.

5. Theorem environments
Theorem 1. Theorems, lemmas, definitions, etc. are set on a separate paragraph,
with extra 1 line space above and below. They are to be numbered consecutively
within the contribution.
The citation command can be used to cross-link for theorem declaration, see
Theorem 1 and Lemma 2.
Lemma 2. Theorems, lemmas, definitions, etc. are set on a separate paragraph,
with extra 1 line space above and below. They are to be numbered consecutively
within the contribution.

Proof. Proofs should end with a box.

6. Illustrations and Photographs

Figures are to be inserted in the text nearest their first reference. Figure place-
ments can be either top or bottom. Original india ink drawings of glossy prints
are preferred. Please send one set of originals with copies. If the author requires
the publisher to reduce the figures, ensure that the figures (including letterings and
numbers) are large enough to be clearly seen after reduction. If photographs are to
be used, only black and white ones are acceptable.
Figures are to be sequentially numbered in Arabic numerals. The caption must
be placed below the figure. Typeset in 8 pt roman with baselineskip of 10 pt. Long

SL 4m 2π

Fig. 1. A schematic illustration of dissociative recombination. The direct mechanism, 4m 2π is ini-

tiated when the molecular ion SL captures an electron with kinetic energy.
November 25, 2004 14:37 WSPC/INSTRUCTION FILE ws-ijfcs

Instructions for Typing Manuscripts (Paper’s Title) 5

captions are to be justified by the “page-width”. Use double spacing between a

caption and the text that follows immediately.
Previously published material must be accompanied by written permission from
the author and publisher.

7. Tables
Tables should be inserted in the text as close to the point of reference as possible.
Some space should be left above and below the table.
Tables should be numbered sequentially in the text in Arabic numerals. Captions
are to be centralized above the tables. Typeset tables and captions in 8 pt roman
with baselineskip of 10 pt. Long captions are to be justified by the “table-width”.

Table 1. Comparison of acoustic for frequencies for piston-cylinder

problem.

Piston mass Analytical frequency TRIA6-S1 model % Error

(Rad/s) (Rad/s)
1.0 281.0 280.81 0.07
0.1 876.0 875.74 0.03
0.01 2441.0 2441.0 0.0
0.001 4130.0 4129.3 0.16

Note: Table notes

a
Table footnote A
b
Table footnote B

If tables need to extend over to a second page, the continuation of the table
should be preceded by a caption, e.g. “Table 2. (Continued)”. Notes to tables are
placed below the final row of the table and should be flushleft. Footnotes in tables
shouldbe indicated by superscript lowercase letters and placed beneath the table.

8. Running Heads
Please provide a shortened running head (not more than eight words) for the title
of your paper. This will appear on the top right-hand side of your paper.

9. Footnotes
Footnotes should be numbered sequentially in superscript lowercase roman letters. a

References
References are to be listed in the order cited in the text in Arabic numerals. They
should be listed in alphabetical order of the first author (use the style shown in the
a Footnotes should be typeset in 8 pt roman at the bottom of the page.
November 25, 2004 14:37 WSPC/INSTRUCTION FILE ws-ijfcs

6 Authors’ Names

examples listed in References section). They are to be cited in bracketed form, as

in this example [1, 5, 7].

Acknowledgments
This section should come before the References. Funding information may also be
included here.

Appendix A. Appendices
Appendices should be used only when absolutely necessary. They should come after
the References. If there is more than one appendix, number them alphabetically.
Number displayed equations occurring in the Appendix in this way, e.g. (A.1), (A.2),
etc.
P∞
1(di < t, N (di ) = n)
µ(n, t) = i=1
Rt . (A.1)
σ=0
1(N (σ) = n)dσ

References
[1] B. Lee, String field theory, J. Comput. System Sci. 27(1983) 400–433,
doi:10.1142/S0219199703001026.
[2] R. Loren, Foundations of resource development, D-lib Magazine (1999),
http://www.dlib.org/jul99/07loren.html.
[3] R. Loren and D. B. Benson, Deterministic flow-chart interpretations, J. Comput.
System Sci. 27(2, Suppl. 290) (1983) 400–433.
[4] R. Loren and D. B. Benson (eds.), Introduction to String Field Theory, 2nd edn.
(Springer-Verlag, New York, 1999).
[5] R. Loren, J. Li and D. B. Benson, Deterministic flow-chart interpretations, in Proc.
3rd Int. Conf. Entity-Relationship Approach, eds. C. G. Davis and R. T. Yeh (North-
Holland, Amsterdam, 1983), pp.421–439.
[6] R. Loren, J. Li and D. B. Benson, Deterministic flow-chart interpretations, in In-
troduction to String Field Theory, Advanced Series in Mathematical Physics, Vol. 3
(Springer-Verlag, New York, 1999), pp. 401–413.
[7] R. Loren, J. Li and D. B. Benson, Deterministic flow-chart interpretations, in In-
troduction to String Field Theory, eds. J. Randy and K. Tan (Springer-Verlag, New
York, 1999), p. 400.
[8] C. M. Wang (ed.), Shear Deformable Beams (Elsevier, Oxford, 2000).
[9] C. M. Wang, J. N. Reddy and K. H. Lee, New set of buckling parameters, in Shear
Deformable Beams, ed. T. Rex (Elsevier, Oxford, 2000), pp. 201–213.
[10] C. M. Wang, J. N. Reddy and K. H. Lee, Shear Deformable Beams (Elsevier, Oxford,
2000).