Many-sorted coalgebraic modal logic: A model-theoretic study
Publication year
2001Author(s)
Source
Rairo-Informatique Theorique et Applications-Theoretical Informatics and Applications, 35, 1, (2001), pp. 31-59ISSN
Publication type
Article / Letter to editor

Display more detailsDisplay less details
Organization
Digital Security
Security of Systems
Journal title
Rairo-Informatique Theorique et Applications-Theoretical Informatics and Applications
Volume
vol. 35
Issue
iss. 1
Page start
p. 31
Page end
p. 59
Subject
Digital SecurityThis item appears in the following Collection(s)
- Non RU Publications [15294]
- Open Access publications [80501]
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.