Electronic Notes in Theoretical Computer Science, Volume 247

Volume 247, August 2009

• Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides:
  Preface. 1-3
  
• 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
  
• Francicleber Martins Ferreira, Ana Teresa C. Martins:
  Recursive Definitions and Fixed-Points. 19-37
  
• Marcelo Finger:
  Using Abduction to Compute Efficient Proofs. 39-49
  
• Renata P. de Freitas, Petrucio Viana:
  Introducing Polymodal Neighbourhood Logics. 51-66
  
• André Luiz Galdino, Mauricio Ayala-Rincón:
  A PVS Theory for Term Rewriting Systems. 67-83
  
• 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
  
• Christian Urban, Julien Narboux:
  Formal SOS-Proofs for the Lambda-Calculus. 139-155