Works matching IS 01290541 AND DT 2008 AND VI 19 AND IP 4
Results: 22
PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 747, doi. 10.1142/S0129054108005929
- By:
- Publication type:
- Article
EXACT GENERATION OF MINIMAL ACYCLIC DETERMINISTIC FINITE AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 751, doi. 10.1142/S0129054108005930
- By:
- Publication type:
- Article
CD GRAMMAR SYSTEMS WITH REGULAR START CONDITIONS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 767, doi. 10.1142/S0129054108005942
- By:
- Publication type:
- Article
COMPLEXITY, INFORMATION, ENERGY.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 781
- By:
- Publication type:
- Article
OPTIMAL SIMULATIONS OF WEAK RESTARTING AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 795, doi. 10.1142/S0129054108005966
- By:
- Publication type:
- Article
DESCRIPTIONAL COMPLEXITY OF SPLICING SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 813, doi. 10.1142/S0129054108005978
- By:
- Publication type:
- Article
TESTING THE DESCRIPTIONAL POWER OF SMALL TURING MACHINES ON NONREGULAR LANGUAGE ACCEPTANCE.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 827, doi. 10.1142/S012905410800598X
- By:
- Publication type:
- Article
A REGULARITY CONDITION FOR CONTEXT-FREE GRAMMARS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 845, doi. 10.1142/S0129054108005991
- By:
- Publication type:
- Article
REPRESENTATIONS AND CHARACTERIZATIONS OF LANGUAGES IN CHOMSKY HIERARCHY BY MEANS OF INSERTION-DELETION SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 859, doi. 10.1142/S0129054108006005
- By:
- Publication type:
- Article
REMARKS ON CONTEXT-FREE PARALLEL COMMUNICATING GRAMMAR SYSTEMS GENERATING CROSSED AGREEMENTS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 873, doi. 10.1142/S0129054108006017
- By:
- Publication type:
- Article
WIRELESS MOBILE COMPUTING AND ITS LINKS TO DESCRIPTIVE COMPLEXITY.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 887, doi. 10.1142/S0129054108006029
- By:
- Publication type:
- Article
PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 915, doi. 10.1142/S0129054108006030
- By:
- Publication type:
- Article
ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 919, doi. 10.1142/S0129054108006042
- By:
- Publication type:
- Article
REACHABILITY PROBLEMS IN LOW-DIMENSIONAL ITERATIVE MAPS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 935, doi. 10.1142/S0129054108006054
- By:
- Publication type:
- Article
REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 953, doi. 10.1142/S0129054108006066
- By:
- Publication type:
- Article
THE FINITE TILING PROBLEM IS UNDECIDABLE IN THE HYPERBOLIC PLANE.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 971, doi. 10.1142/S0129054108006078
- By:
- Publication type:
- Article
AN ALTERNATIVE CONSTRUCTION IN SYMBOLIC REACHABILITY ANALYSIS OF SECOND ORDER PUSHDOWN SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 983, doi. 10.1142/S012905410800608X
- By:
- Publication type:
- Article
DECIDABILITY AND COMPLEXITY ANALYSIS OF FORBIDDEN STATE PROBLEMS FOR DISCRETE EVENT SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 999, doi. 10.1142/S0129054108006091
- By:
- Publication type:
- Article
A MINIMUM-PROCESS COORDINATED CHECKPOINTING PROTOCOL FOR MOBILE COMPUTING SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 1015, doi. 10.1142/S0129054108006108
- By:
- Publication type:
- Article
ON INEQUALITIES BETWEEN SUBWORD HISTORIES.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 1039, doi. 10.1142/S012905410800611X
- By:
- Publication type:
- Article
INTRUDER CAPTURING IN MESH AND TORUS NETWORKS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 1049, doi. 10.1142/S0129054108006121
- By:
- Publication type:
- Article
PROPERTIES AND CONSTRUCTION OF UNIQUE MAXIMAL FACTORIZATION FAMILIES FOR STRINGS.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 1073, doi. 10.1142/S0129054108006133
- By:
- Publication type:
- Article