Works matching IS 01290541 AND DT 2009 AND VI 20 AND IP 4
Results: 14
PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 559, doi. 10.1142/S0129054109006735
- By:
- Publication type:
- Article
NONDETERMINISTIC FINITE AUTOMATA — RECENT RESULTS ON THE DESCRIPTIONAL AND COMPUTATIONAL COMPLEXITY.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 563, doi. 10.1142/S0129054109006747
- By:
- Publication type:
- Article
PATH DECOMPOSITION AND SEMILINEARITY OF PETRI NETS.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 581, doi. 10.1142/S0129054109006759
- By:
- Publication type:
- Article
ANALYSIS OF BIT-SPLIT LANGUAGES FOR PACKET SCANNING AND EXPERIMENTS WITH WILDCARD MATCHING.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 597, doi. 10.1142/S0129054109006760
- By:
- Publication type:
- Article
N-WAY COMPOSITION OF WEIGHTED FINITE-STATE TRANSDUCERS.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 613, doi. 10.1142/S0129054109006772
- By:
- Publication type:
- Article
DETERMINISTIC PUSHDOWN AUTOMATA AND UNARY LANGUAGES.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 629, doi. 10.1142/S0129054109006784
- By:
- Publication type:
- Article
COMPUTING CONVEX HULLS BY AUTOMATA ITERATION.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 647, doi. 10.1142/S0129054109006796
- By:
- Publication type:
- Article
ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 669, doi. 10.1142/S0129054109006802
- By:
- Publication type:
- Article
COMPOSED BISIMULATION FOR TREE AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 685, doi. 10.1142/S0129054109006814
- By:
- Publication type:
- Article
ASPECTS OF PERSISTENT COMPUTATIONS.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 701, doi. 10.1142/S0129054109006826
- By:
- Publication type:
- Article
A RUN-TIME EFFICIENT IMPLEMENTATION OF COMPRESSED PATTERN MATCHING AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 717, doi. 10.1142/S0129054109006838
- By:
- Publication type:
- Article
HYPER-MINIMIZATION IN O(n<sup>2</sup>).
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 735, doi. 10.1142/S012905410900684X
- By:
- Publication type:
- Article
AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 747, doi. 10.1142/S0129054109006851
- By:
- Publication type:
- Article
AN EFFICIENT ALGORITHM TO TEST WHETHER A BINARY AND PROLONGEABLE REGULAR LANGUAGE IS GEOMETRICAL.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 763, doi. 10.1142/S0129054109006863
- By:
- Publication type:
- Article