Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alvaro Tasistro, Ernesto Copello, Nora Szasz |
Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014, pp. 215-230, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cláudia Nalon, Bruno Lopes 0001, Gilles Dowek, Edward Hermann Haeusler |
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014, pp. 125-141, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides |
On Graph Calculi for Multi-modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014, pp. 231-252, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Natalia Novak |
Practical Extraction of Evidence Terms From Common-knowledge Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014, pp. 143-160, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Ian Mackie |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014, pp. 1-2, 2014, Elsevier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Marcelo Finger (eds.) |
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![Elsevier The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Bruno Lopes 0001, Mario R. F. Benevides, Edward Hermann Haeusler |
Extending Propositional Dynamic Logic for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013, pp. 67-83, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides |
On a Graph Approach to Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013, pp. 123-139, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Walter Carnielli, Mariana Matulovic |
Non-deterministic Semantics in Polynomial Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013, pp. 19-34, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. F. Benevides |
Bisimilar and Logically Equivalent Programs in PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013, pp. 5-18, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Valeria de Paiva, Charles Morgan, Samuel G. Da Silva |
Natural Number Objects in Dialectica Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013, pp. 53-65, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Marcelo Finger |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013, pp. 1-3, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Olarte, Vivek Nigam, Elaine Pimentel |
Dynamic Spaces in Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013, pp. 103-121, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcello D'Agostino |
Informational Semantics, Non-Deterministic Matrices and Feasible Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013, pp. 35-52, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cláudia Nalon, Oliver Kutz |
Towards Resolution-based Reasoning for Connected Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013, pp. 85-102, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Ciaffaglione, Ivan Scagnetto |
A weak HOAS approach to the POPLmark Challenge ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 109-124, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Carraro |
The untyped stack calculus and Bohm's theorem ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 77-92, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo E. Coniglio, María I. Corbalán |
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 125-136, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli |
Proof nets and the call-by-value lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 11-26, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho |
Elementary Deduction Problem for Locally Stable Theories with Normal Forms ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 45-60, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Delia Kesner, Petrucio Viana (eds.) |
Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Areces, Guillaume Hoffmann 0001, Ezequiel Orbe |
Symmetries in Modal Logics ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 27-44, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paulo A. S. Veloso, Sheila R. M. Veloso |
A Graph Calculus for Predicate Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 153-168, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
The stack calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 93-108, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón |
Formalizing the Confluence of Orthogonal Rewriting Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 145-152, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Bucciarelli, Alberto Carraro, Antonino Salibra |
Minimal lambda-theories by ultraproducts ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 61-76, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Díaz-Caro, Gilles Dowek |
Non determinism through type isomorphism ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 137-144, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paulo A. S. Veloso, Sheila R. M. Veloso |
On Graph Refutation for Relational Inclusions ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011., pp. 47-62, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andréia B. Avelar, André Luiz Galdino, Flávio L. C. de Moura, Mauricio Ayala-Rincón |
A Formalization of the Theorem of Existence of First-Order Most General Unifiers ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011., pp. 63-78, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca |
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011., pp. 30-46, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arnon Avron |
A Logical Framework for Set Theories ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011., pp. 3-15, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff |
Lower Bounds for Scalars in a Typed Algebraic λ-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011., pp. 16-29, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Simona Ronchi Della Rocca, Elaine Pimentel (eds.) |
Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anderson de Araújo, Marcelo Finger |
Classical and quantum satisfiability ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011., pp. 79-84, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Edward Hermann Haeusler, Luis Fariñas del Cerro (eds.) |
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![Elsevier The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Sheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso |
A Tool for Analysing Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010, pp. 125-137, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Natarajan Shankar, Marc Vaucher |
The Mechanical Verification of a DPLL-Based Satisfiability Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010, pp. 3-17, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrucio Viana |
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010, pp. 95-107, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Flávio L. C. de Moura, A. V. Barbosa, Mauricio Ayala-Rincón, Fairouz Kamareddine |
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010, pp. 41-54, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira |
The Functional Interpretation of Direct Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010, pp. 19-40, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Edward Hermann Haeusler, Luis Fariñas del Cerro |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010, pp. 1-2, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Valeria de Paiva |
Bridges from Language to Logic: Concepts, Contexts and Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010, pp. 83-94, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cibele Matos Freire, Ana Teresa C. Martins |
The Descriptive Complexity of the Deterministic Exponential Time Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010, pp. 71-82, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Nigam, Elaine Pimentel, Giselle Reis |
Specifying Proof Systems in Linear Logic with Subexponentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010, pp. 109-123, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rafael del Vado Vírseda |
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010, pp. 55-69, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Feryal Fulya Horozal, Florian Rabe 0001 |
Representing Model Theory in a Type-Theoretical Logical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009, pp. 49-65, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rafael del Vado Vírseda |
A Logical Framework for Debugging in Declarative Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009, pp. 119-135, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. F. Benevides, Luis Menasché Schechter |
Product of Graphs and Hybrid Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009, pp. 103-118, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira |
Peirce's Rule in a Full Natural Deduction System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009, pp. 5-18, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009, pp. 1-3, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robert Demolombe, Luis Fariñas del Cerro |
How to Produce Information About a Given Entity Using Automated Deduction Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009, pp. 19-31, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca |
Selective Memoization with Box Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009, pp. 67-85, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger |
Towards an Efficient Prover for the C1 Paraconsistent Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009, pp. 87-102, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler |
A Topos-Theoretic Approach to Counterfactual Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009, pp. 33-47, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Fairouz Kamareddine (eds.) |
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides (eds.) |
Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 5-18, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luis Menasché Schechter |
A Logical Approach to Hamiltonian Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 123-138, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | André Luiz Galdino, Mauricio Ayala-Rincón |
A PVS Theory for Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 67-83, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Favio Ezequiel Miranda-Perea |
Some Remarks on Type Systems for Course-of-value Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 103-121, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fairouz Kamareddine, Vincent Rahli |
Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 85-101, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 1-3, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Finger |
Using Abduction to Compute Efficient Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 39-49, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francicleber Martins Ferreira, Ana Teresa C. Martins |
Recursive Definitions and Fixed-Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 19-37, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Urban, Julien Narboux |
Formal SOS-Proofs for the Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 139-155, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Renata P. de Freitas, Petrucio Viana |
Introducing Polymodal Neighbourhood Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008, pp. 51-66, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Edward Hermann Haeusler (eds.) |
Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso |
Sequent Calculi for 'Generally'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007, pp. 49-65, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luis Carlos de Sousa Menezes |
Aspect-Oriented Action Semantics Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007, pp. 123-135, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante |
Maude Object-Oriented Action Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007, pp. 105-121, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Matos Arruda, Ana Teresa C. Martins |
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007, pp. 89-104, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Edward Hermann Haeusler |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007, pp. 1-3, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca |
Soft Linear Logic and Polynomial Complexity Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007, pp. 67-87, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Dowek |
On the Convergence of Reduction-based and Model-based Methods in Proof Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007, pp. 137-144, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fairouz Kamareddine, J. B. Wells |
Computerizing Mathematical Text with MathLang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007, pp. 5-30, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. F. Benevides, Luis Menasché Schechter |
Modal Expressiveness of Graph Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007, pp. 31-47, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|