Cut-free sequent systems for temporal logic
| Data(s) |
2008
|
|---|---|
| Formato |
application/pdf |
| Identificador |
http://boris.unibe.ch/37186/1/bl08.pdf Brünnler, Kai; Lange, Martin (2008). Cut-free sequent systems for temporal logic. Journal of logic and algebraic programming, 76(2), pp. 216-225. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.004 <http://dx.doi.org/10.1016/j.jlap.2008.02.004> doi:10.7892/boris.37186 info:doi:10.1016/j.jlap.2008.02.004 urn:issn:1567-8326 |
| Idioma(s) |
eng |
| Publicador |
North-Holland |
| Relação |
http://boris.unibe.ch/37186/ |
| Direitos |
info:eu-repo/semantics/openAccess |
| Fonte |
Brünnler, Kai; Lange, Martin (2008). Cut-free sequent systems for temporal logic. Journal of logic and algebraic programming, 76(2), pp. 216-225. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.004 <http://dx.doi.org/10.1016/j.jlap.2008.02.004> |
| Tipo |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion PeerReviewed |
