Electronic Notes in Theoretical Computer Science, Volume 256
Volume 256, December 2009
- Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira: Peirce's Rule in a Full Natural Deduction System. 5-18
- Robert Demolombe, Luis Fariñas del Cerro: How to Produce Information About a Given Entity Using Automated Deduction Methods. 19-31
- Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler: A Topos-Theoretic Approach to Counterfactual Logic. 33-47
- Fulya Horozal, Florian Rabe: Representing Model Theory in a Type-Theoretical Logical Framework. 49-65
- Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca: Selective Memoization with Box Types. 67-85
- Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger: Towards an Efficient Prover for the C1 Paraconsistent Logic. 87-102
- Rafael del Vado Vírseda: A Logical Framework for Debugging in Declarative Constraint Programming. 119-135
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team