
Fulltext:
72702.pdf
Embargo:
until further notice
Size:
283.8Kb
Format:
PDF
Description:
publisher's version
In
Electronic Notes in Theoretical Computer Science, (2008)Schürmann, Carsten (ed.), Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland, pp. 33-47ISSN
Annotation
Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland, 5 juli 2004
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Schürmann, Carsten
Organization
Software Science
Foundations
Journal title
Electronic Notes in Theoretical Computer Science
Book title
Schürmann, Carsten (ed.), Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland
Page start
p. 33
Page end
p. 47
Subject
Data ScienceThis item appears in the following Collection(s)
- Academic publications [203856]
- Electronic publications [102283]
- Faculty of Science [32143]
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.