WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED?
- Published in:
- International Journal of Foundations of Computer Science, 1992, v. 3, n. 2, p. 225, doi. 10.1142/S0129054192000140
- By:
- Publication type:
- Article
Works matching IS 01290541 AND DT 1992 AND VI 3 AND IP 2
Results: 5
1
2
HOLONOMIC GENERATING FUNCTIONS AND CONTEXT FREE LANGUAGES.
- Published in:
- International Journal of Foundations of Computer Science, 1992, v. 3, n. 2, p. 181, doi. 10.1142/S0129054192000127
- By:
- Publication type:
- Article
3
ON THE COMPUTING POWER OF PROGRAMS WITH SETS.
- Published in:
- International Journal of Foundations of Computer Science, 1992, v. 3, n. 2, p. 161, doi. 10.1142/S0129054192000115
- By:
- Publication type:
- Article
4
MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT.
- Published in:
- International Journal of Foundations of Computer Science, 1992, v. 3, n. 2, p. 193, doi. 10.1142/S0129054192000139
- By:
- Publication type:
- Article
5
TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I.
- Published in:
- International Journal of Foundations of Computer Science, 1992, v. 3, n. 2, p. 117, doi. 10.1142/S0129054192000103
- By:
- Publication type:
- Article