Works matching IS 01290541 AND DT 1990 AND VI 1 AND IP 3
Results: 13
INTRODUCTION.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. iii, doi. 10.1142/S012905419000031X
- Publication type:
- Article
ON THE NOTION OF LINEAR TIME COMPUTABILITY.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 295, doi. 10.1142/S0129054190000217
- By:
- Publication type:
- Article
DEADLOCK PREDICTION IN THE CASE OF DYNAMIC ROUTING.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 185, doi. 10.1142/S012905419000014X
- By:
- Publication type:
- Article
SOME LIMIT DISTRIBUTIONS IN ANALYSIS OF ALGORITHMS FOR PROBLEMS ON TRACE LANGUAGES.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 265, doi. 10.1142/S0129054190000199
- By:
- Publication type:
- Article
REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 325, doi. 10.1142/S0129054190000230
- By:
- Publication type:
- Article
BREADTH AND DEPTH GRAMMARS AND DEQUE AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 219, doi. 10.1142/S0129054190000163
- By:
- Publication type:
- Article
STRONG SEPARATIONS FOR THE BOOLEAN HIERARCHY OVER RP.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 201, doi. 10.1142/S0129054190000151
- By:
- Publication type:
- Article
SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 233, doi. 10.1142/S0129054190000175
- By:
- Publication type:
- Article
COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 165, doi. 10.1142/S0129054190000138
- By:
- Publication type:
- Article
ABOUT MODEST SETS.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 341, doi. 10.1142/S0129054190000242
- By:
- Publication type:
- Article
STURMIAN WORDS AND AMBIGUOUS CONTEXT-FREE LANGUAGES.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 309, doi. 10.1142/S0129054190000229
- By:
- Publication type:
- Article
NESTED GUARDED HORN CLAUSES.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 249, doi. 10.1142/S0129054190000187
- By:
- Publication type:
- Article
TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING.
- Published in:
- International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 277, doi. 10.1142/S0129054190000205
- By:
- Publication type:
- Article