default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd LSFA 2008: Salvador, Brazil
- Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides:
Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008. Electronic Notes in Theoretical Computer Science 247, Elsevier 2009 - Belo Horizonte, Elaine Pimentel
, Mario R. F. Benevides:
Preface. 1-3 - Benjamín R. 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 Ezequiel Miranda-Perea:
Some Remarks on Type Systems for Course-of-value Recursion. 103-121 - Luis Menasché Schechter:
A Logical Approach to Hamiltonian Graphs. 123-138 - Christian Urban, Julien Narboux:
Formal SOS-Proofs for the Lambda-Calculus. 139-155
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-31 21:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
