Canonical completeness of infinitary mu
| Data(s) |
2008
|
|---|---|
| Formato |
application/pdf application/pdf |
| Identificador |
http://boris.unibe.ch/37095/1/jks08.pdf http://boris.unibe.ch/37095/8/1-s2.0-S1567832608000209-main.pdf Jäger, Gerhard; Kretz, Mathis; Studer, Thomas (2008). Canonical completeness of infinitary mu. Journal of logic and algebraic programming, 76(2), pp. 270-292. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.005 <http://dx.doi.org/10.1016/j.jlap.2008.02.005> doi:10.7892/boris.37095 info:doi:10.1016/j.jlap.2008.02.005 urn:issn:1567-8326 |
| Idioma(s) |
eng |
| Publicador |
North-Holland |
| Relação |
http://boris.unibe.ch/37095/ |
| Direitos |
info:eu-repo/semantics/openAccess info:eu-repo/semantics/restrictedAccess |
| Fonte |
Jäger, Gerhard; Kretz, Mathis; Studer, Thomas (2008). Canonical completeness of infinitary mu. Journal of logic and algebraic programming, 76(2), pp. 270-292. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.005 <http://dx.doi.org/10.1016/j.jlap.2008.02.005> |
| Tipo |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion PeerReviewed |
