On the proof theory of the modal mu-calculus
| Data(s) |
2008
|
|---|---|
| Formato |
application/pdf application/pdf |
| Identificador |
http://boris.unibe.ch/37094/1/stu08.pdf http://boris.unibe.ch/37094/8/art%253A10.1007%252Fs11225-008-9133-6.pdf Studer, Thomas (2008). On the proof theory of the modal mu-calculus. Studia logica, 89(3), pp. 343-363. Dordrecht: Springer Science + Business Media 10.1007/s11225-008-9133-6 <http://dx.doi.org/10.1007/s11225-008-9133-6> doi:10.7892/boris.37094 info:doi:10.1007/s11225-008-9133-6 urn:issn:0039-3215 |
| Idioma(s) |
eng |
| Publicador |
Springer Science + Business Media |
| Relação |
http://boris.unibe.ch/37094/ |
| Direitos |
info:eu-repo/semantics/openAccess info:eu-repo/semantics/restrictedAccess |
| Fonte |
Studer, Thomas (2008). On the proof theory of the modal mu-calculus. Studia logica, 89(3), pp. 343-363. Dordrecht: Springer Science + Business Media 10.1007/s11225-008-9133-6 <http://dx.doi.org/10.1007/s11225-008-9133-6> |
| Tipo |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion PeerReviewed |
