An Algorithmic Interpretation of a Deep Inference System
| Contribuinte(s) |
Cervesato, Iliano Veith, Helmut Voronkov, Andrei |
|---|---|
| Data(s) |
2008
|
| Formato |
application/pdf application/pdf |
| Identificador |
http://boris.unibe.ch/37187/1/bm08.pdf http://boris.unibe.ch/37187/8/978-3-540-89439-1_34.pdf Brünnler, Kai; McKinley, Richard (2008). An Algorithmic Interpretation of a Deep Inference System. In: Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5330 (pp. 482-496). Heidelberg: Springer Verlag 10.1007/978-3-540-89439-1_34 <http://dx.doi.org/10.1007/978-3-540-89439-1_34> doi:10.7892/boris.37187 info:doi:10.1007/978-3-540-89439-1_34 urn:issn:0302-9743 urn:isbn:978-3-540-89438-4 |
| Idioma(s) |
eng |
| Publicador |
Springer Verlag |
| Relação |
http://boris.unibe.ch/37187/ |
| Direitos |
info:eu-repo/semantics/openAccess info:eu-repo/semantics/restrictedAccess |
| Fonte |
Brünnler, Kai; McKinley, Richard (2008). An Algorithmic Interpretation of a Deep Inference System. In: Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5330 (pp. 482-496). Heidelberg: Springer Verlag 10.1007/978-3-540-89439-1_34 <http://dx.doi.org/10.1007/978-3-540-89439-1_34> |
| Tipo |
info:eu-repo/semantics/bookPart info:eu-repo/semantics/publishedVersion PeerReviewed |
