Author Index to Volume 1.
- Published in:
- Mathematical Structures in Computer Science, 1991, v. 1, n. 3, p. 405, doi. 10.1017/S0960129500001365
- Publication type:
- Article
Works matching IS 09601295 AND DT 1991 AND VI 1 AND IP 3
Results: 6
1
2
Semantics of the second order lambda calculus.
- Published in:
- Mathematical Structures in Computer Science, 1991, v. 1, n. 3, p. 327, doi. 10.1017/S0960129500001341
- By:
- Publication type:
- Article
3
Parallelism and concurrency in high-level replacement systems.
- Published in:
- Mathematical Structures in Computer Science, 1991, v. 1, n. 3, p. 361, doi. 10.1017/S0960129500001353
- By:
- Publication type:
- Article
4
Church-Rooser property and homology of monoids.
- Published in:
- Mathematical Structures in Computer Science, 1991, v. 1, n. 3, p. 297, doi. 10.1017/S096012950000133X
- By:
- Publication type:
- Article
5
A new constructive logic: classic logic.
- Published in:
- Mathematical Structures in Computer Science, 1991, v. 1, n. 3, p. 255, doi. 10.1017/S0960129500001328
- By:
- Publication type:
- Article
6
MSC volume 1 issue 3 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1991, v. 1, n. 3, p. b1, doi. 10.1017/S0960129500001316
- Publication type:
- Article