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. |
LSFA |
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. |
LSFA |
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. |
LSFA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Natalia Novak |
Practical Extraction of Evidence Terms From Common-knowledge Reasoning. |
LSFA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Ian Mackie |
Preface. |
LSFA |
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 |
LSFA |
2014 |
DBLP BibTeX RDF |
|
1 | Bruno Lopes 0001, Mario R. F. Benevides, Edward Hermann Haeusler |
Extending Propositional Dynamic Logic for Petri Nets. |
LSFA |
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. |
LSFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Walter Carnielli, Mariana Matulovic |
Non-deterministic Semantics in Polynomial Format. |
LSFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. F. Benevides |
Bisimilar and Logically Equivalent Programs in PDL. |
LSFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Valeria de Paiva, Charles Morgan, Samuel G. Da Silva |
Natural Number Objects in Dialectica Categories. |
LSFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Marcelo Finger |
Preface. |
LSFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Olarte, Vivek Nigam, Elaine Pimentel |
Dynamic Spaces in Concurrent Constraint Programming. |
LSFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcello D'Agostino |
Informational Semantics, Non-Deterministic Matrices and Feasible Deduction. |
LSFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cláudia Nalon, Oliver Kutz |
Towards Resolution-based Reasoning for Connected Logics. |
LSFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Ciaffaglione, Ivan Scagnetto |
A weak HOAS approach to the POPLmark Challenge |
LSFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Carraro |
The untyped stack calculus and Bohm's theorem |
LSFA |
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 |
LSFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli |
Proof nets and the call-by-value lambda-calculus |
LSFA |
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 |
LSFA |
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. |
LSFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Areces, Guillaume Hoffmann 0001, Ezequiel Orbe |
Symmetries in Modal Logics |
LSFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paulo A. S. Veloso, Sheila R. M. Veloso |
A Graph Calculus for Predicate Logic |
LSFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
The stack calculus |
LSFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón |
Formalizing the Confluence of Orthogonal Rewriting Systems |
LSFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Bucciarelli, Alberto Carraro, Antonino Salibra |
Minimal lambda-theories by ultraproducts |
LSFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Díaz-Caro, Gilles Dowek |
Non determinism through type isomorphism |
LSFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paulo A. S. Veloso, Sheila R. M. Veloso |
On Graph Refutation for Relational Inclusions |
LSFA |
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 |
LSFA |
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 |
LSFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arnon Avron |
A Logical Framework for Set Theories |
LSFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff |
Lower Bounds for Scalars in a Typed Algebraic λ-calculus |
LSFA |
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. |
LSFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anderson de Araújo, Marcelo Finger |
Classical and quantum satisfiability |
LSFA |
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 |
LSFA |
2011 |
DBLP BibTeX RDF |
|
1 | Sheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso |
A Tool for Analysing Logics. |
LSFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Natarajan Shankar, Marc Vaucher |
The Mechanical Verification of a DPLL-Based Satisfiability Solver. |
LSFA |
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. |
LSFA |
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. |
LSFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira |
The Functional Interpretation of Direct Computations. |
LSFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Edward Hermann Haeusler, Luis Fariñas del Cerro |
Preface. |
LSFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Valeria de Paiva |
Bridges from Language to Logic: Concepts, Contexts and Ontologies. |
LSFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cibele Matos Freire, Ana Teresa C. Martins |
The Descriptive Complexity of the Deterministic Exponential Time Hierarchy. |
LSFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Nigam, Elaine Pimentel, Giselle Reis |
Specifying Proof Systems in Linear Logic with Subexponentials. |
LSFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rafael del Vado Vírseda |
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains. |
LSFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Feryal Fulya Horozal, Florian Rabe 0001 |
Representing Model Theory in a Type-Theoretical Logical Framework. |
LSFA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rafael del Vado Vírseda |
A Logical Framework for Debugging in Declarative Constraint Programming. |
LSFA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. F. Benevides, Luis Menasché Schechter |
Product of Graphs and Hybrid Logic. |
LSFA |
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. |
LSFA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Fairouz Kamareddine |
Preface. |
LSFA |
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. |
LSFA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca |
Selective Memoization with Box Types. |
LSFA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger |
Towards an Efficient Prover for the C1 Paraconsistent Logic. |
LSFA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler |
A Topos-Theoretic Approach to Counterfactual Logic. |
LSFA |
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 |
LSFA |
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 |
LSFA |
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. |
LSFA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luis Menasché Schechter |
A Logical Approach to Hamiltonian Graphs. |
LSFA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | André Luiz Galdino, Mauricio Ayala-Rincón |
A PVS Theory for Term Rewriting Systems. |
LSFA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Favio Ezequiel Miranda-Perea |
Some Remarks on Type Systems for Course-of-value Recursion. |
LSFA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fairouz Kamareddine, Vincent Rahli |
Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction. |
LSFA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides |
Preface. |
LSFA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Finger |
Using Abduction to Compute Efficient Proofs. |
LSFA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francicleber Martins Ferreira, Ana Teresa C. Martins |
Recursive Definitions and Fixed-Points. |
LSFA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Urban, Julien Narboux |
Formal SOS-Proofs for the Lambda-Calculus. |
LSFA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Renata P. de Freitas, Petrucio Viana |
Introducing Polymodal Neighbourhood Logics. |
LSFA |
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 |
LSFA |
2008 |
DBLP BibTeX RDF |
|
1 | Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso |
Sequent Calculi for 'Generally'. |
LSFA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luis Carlos de Sousa Menezes |
Aspect-Oriented Action Semantics Descriptions. |
LSFA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante |
Maude Object-Oriented Action Tool. |
LSFA |
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. |
LSFA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Ayala-Rincón, Edward Hermann Haeusler |
Preface. |
LSFA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca |
Soft Linear Logic and Polynomial Complexity Classes. |
LSFA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Dowek |
On the Convergence of Reduction-based and Model-based Methods in Proof Theory. |
LSFA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fairouz Kamareddine, J. B. Wells |
Computerizing Mathematical Text with MathLang. |
LSFA |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. F. Benevides, Luis Menasché Schechter |
Modal Expressiveness of Graph Properties. |
LSFA |
2007 |
DBLP DOI BibTeX RDF |
|