Well-definedness of streams by transformation and termination
SourceLogical Methods in Computer Science, 6, 3, (2010), pp. 1-27
Article / Letter to editor
Display more detailsDisplay less details
Logical Methods in Computer Science
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.