On the elimination of some higher type quantifiers.
- Published in:
- Mathematical Structures in Computer Science, 2001, v. 11, n. 6, p. 771, doi. 10.1017/S0960129501003401
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2001 AND VI 11 AND IP 6
Results: 2
1
2
Recognizable languages in divisibility monoids.
- Published in:
- Mathematical Structures in Computer Science, 2001, v. 11, n. 6, p. 743, doi. 10.1017/S0960129501003395
- By:
- Publication type:
- Article