![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
3rd 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.