Go backward to References
Go up to Top
Footnotes
- (1)
- Thus, the sublanguage of all specifications that
are consistent is ruled out, since this is not
even a decidable sublanguage.
CoFI
Note: M-8 -- Version: 1.0 -- March 2000.
Comments to till@informatik.uni-bremen.de