Works matching IS 01290541 AND DT 2007 AND VI 18 AND IP 4

Results: 16

PREFACE.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 667, doi. 10.1142/S0129054107004899

By:

IBARRA, OSCAR H.;
HSU-CHUN YEN

Publication type:

Article

INFORMATION DISTANCE AND ITS APPLICATIONS.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 669, doi. 10.1142/S0129054107004905

By:

MING LI

Publication type:

Article

ON THE STATE COMPLEXITY OF COMBINED OPERATIONS AND THEIR ESTIMATION.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 683, doi. 10.1142/S0129054107004917

By:

SALOMAA, KAI;
SHENG YU

Publication type:

Article

FORGETTING AUTOMATA AND UNARY LANGUAGES.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 813, doi. 10.1142/S0129054107004991

By:

GLÖCKLER, JENS

Publication type:

Article

PURE AND O-SUBSTITUTION.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 829, doi. 10.1142/S0129054107005005

By:

MALETTI, ANDREAS

Publication type:

Article

LABELLING MULTI-TAPE AUTOMATA WITH CONSTRAINED SYMBOL CLASSES.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 847, doi. 10.1142/S0129054107005017

By:

NICART, FLORENT;
CHAMPARNAUD, JEAN-MARC;
CSÁKI, TIBOR;
GAÁL, TAMÁS;
KEMPE, ANDRÉ

Publication type:

Article

BORDERS AND FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 859

By:

ŠIMŮNEK, MARTIN;
MELICHAR, BOŘIVOJ

Publication type:

Article

ON NON-PERIODIC SOLUTIONS OF INDEPENDENT SYSTEMS OF WORD EQUATIONS OVER THREE UNKNOWNS.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 873, doi. 10.1142/S0129054107005030

By:

CZEIZLER, ELENA;
KARHUMÄKI, JUHANI

Publication type:

Article

BISIMULATION MINIMIZATION OF TREE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 699, doi. 10.1142/S0129054107004929

By:

ABDULLA, PAROSH AZIZ;
HÖGBERG, JOHANNA;
KAATI, LISA

Publication type:

Article

REDUCING SIMPLE GRAMMARS:: EXPONENTIAL AGAINST HIGHLY-POLYNOMIAL TIME IN PRACTICE.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 715, doi. 10.1142/S0129054107004930

By:

BASTIEN, CÉDRIC;
CZYZOWICZ, JUREK;
FRACZAK, WOJCIECH;
RYTTER, WOJCIECH

Publication type:

Article

SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 727, doi. 10.1142/S0129054107004942

By:

BLOEM, RODERICK;
CIMATTI, ALESSANDRO;
PILL, INGO;
ROVERI, MARCO

Publication type:

Article

HYBRID EXTENDED FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 745, doi. 10.1142/S0129054107004954

By:

BORDIHN, HENNING;
HOLZER, MARKUS;
KUTRIB, MARTIN

Publication type:

Article

L<sub>p</sub> DISTANCE AND EQUIVALENCE OF PROBABILISTIC AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 761, doi. 10.1142/S0129054107004966

By:

CORTES, CORINNA;
MOHRI, MEHRYAR;
RASTOGI, ASHISH

Publication type:

Article

THE STRUCTURE OF FACTOR ORACLES.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 781, doi. 10.1142/S0129054107004978

By:

CROCHEMORE, MAXIME;
ILIE, LUCIAN;
SEID-HILMI, EMINE

Publication type:

Article

PATH-EQUIVALENT DEVELOPMENTS IN ACYCLIC WEIGHTED AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 799, doi. 10.1142/S012905410700498X

By:

GIRAUD, MATHIEU;
VEBER, PHILLIPE;
LAVENIER, DOMINIQUE

Publication type:

Article

EFFICIENT ALGORITHMS FOR DEGENERATE PRIMER SEARCH.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 899, doi. 10.1142/S0129054107005042

By:

BALLA, SUDHA;
RAJASEKARAN, SANGUTHEVAR;
MANDOIU, ION I.

Publication type:

Article