Works matching IS 01290541 AND DT 1991 AND VI 2 AND IP 1
Results: 5
PSPACE SURVIVES CONSTANT-WIDTH BOTTLENECKS.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 1, p. 67, doi. 10.1142/S0129054191000054
- By:
- Publication type:
- Article
#P-COMPLETENESS VIA MANY-ONE REDUCTIONS.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 1, p. 77, doi. 10.1142/S0129054191000066
- By:
- Publication type:
- Article
FUNCTIONAL PRODUCTION SYSTEMS VIEWED AS GRAMMARS.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 1, p. 23, doi. 10.1142/S0129054191000030
- By:
- Publication type:
- Article
UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 1, p. 43, doi. 10.1142/S0129054191000042
- By:
- Publication type:
- Article
FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 1, p. 1, doi. 10.1142/S0129054191000029
- By:
- Publication type:
- Article