Works matching IS 01290541 AND DT 1991 AND VI 2 AND IP 2
Results: 5
PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 2, p. 149, doi. 10.1142/S0129054191000108
- By:
- Publication type:
- Article
EDGE-DELETION GRAPH PROBLEMS WITH FIRST-ORDER EXPRESSIBLE SUBGRAPH PROPERTIES.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 2, p. 83, doi. 10.1142/S0129054191000078
- By:
- Publication type:
- Article
THE STRUCTURE AND COMPLEXITY OF MINIMAL NFA'S OVER A UNARY ALPHABET.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 2, p. 163, doi. 10.1142/S012905419100011X
- By:
- Publication type:
- Article
A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 2, p. 101, doi. 10.1142/S012905419100008X
- By:
- Publication type:
- Article
ON THE COMPLEXITY OF SOME COLORING GAMES.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 2, p. 133, doi. 10.1142/S0129054191000091
- By:
- Publication type:
- Article