Electronic Notes in Theoretical Computer Science, Volume 247
Volume 247, August 2009
- Benjamín C. Bedregal, Renata Hax Sander Reiser, Graçaliz Pereira Dimuro: Xor-Implications and E-Implications: Classes of Fuzzy Implications Based on Fuzzy Xor. 5-18
- Marcelo Finger: Using Abduction to Compute Efficient Proofs. 39-49
- Fairouz Kamareddine, Vincent Rahli: Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction. 85-101
- Favio E. Miranda-Perea: Some Remarks on Type Systems for Course-of-value Recursion. 103-121
- L. Menasché Schechter: A Logical Approach to Hamiltonian Graphs. 123-138
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