Works matching IS 01290541 AND DT 1991 AND VI 2 AND IP 4
Results: 4
AUTHOR INDEX VOLUME 2 (1991).
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 4, p. 425, doi. 10.1142/S0129054191000212
- Publication type:
- Article
SOLUTION OF A NUMBER THEORETIC PROBLEM INVOLVING KNOWLEDGE.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 4, p. 419, doi. 10.1142/S0129054191000200
- By:
- Publication type:
- Article
ALTERNATING TURING MACHINES WITH MODIFIED ACCEPTING STRUCTURE.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 4, p. 401, doi. 10.1142/S0129054191000194
- By:
- Publication type:
- Article
FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY.
- Published in:
- International Journal of Foundations of Computer Science, 1991, v. 2, n. 4, p. 297, doi. 10.1142/S0129054191000182
- By:
- Publication type:
- Article