| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniele Nantes-Sobrinho, Pascal Fontaine (eds.) |
Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022.  |
LSFA  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Liye Guo, Deivid Vale |
Analyzing Innermost Runtime Complexity Through Tuple Interpretations. |
LSFA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Urciuoli |
A Formal Proof of the Strong Normalization Theorem for System T in Agda. |
LSFA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cruz, Alexandre Madeira, Luís Soares Barbosa |
Paraconsistent Transition Systems. |
LSFA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dohan Kim 0001 |
Equational Theorem Proving for Clauses over Strings. |
LSFA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Eduardo Bonelli (eds.) |
Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021. |
LSFA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Pagano, José E. Solsona |
Nominal Sets in Agda - A Fresh and Immature Mechanization. |
LSFA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Erick Simas Grilo, Bruno Lopes 0001 |
ReLo: a Dynamic Logic to Reason About Reo Circuits. |
LSFA |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen |
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. |
LSFA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Johann, Enrico Ghiorzi, Daniel Jeffries |
GADTs, Functoriality, Parametricity: Pick Two. |
LSFA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Romero 0002, Alejandro Díaz-Caro |
A note on confluence in typed probabilistic lambda calculi. |
LSFA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Díaz-Caro |
A Quick Overview on the Quantum Control Approach to the Lambda Calculus. |
LSFA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Nantes, Carlos Olarte, Daniel Ventura |
A subexponential view of domains in session types. |
LSFA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez |
About Opposition and Duality in Paraconsistent Type Theory. |
LSFA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos 0001, Umberto Rivieccio |
On Logics of Perfect Paradefinite Algebras. |
LSFA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Martin, Alejandro Ríos 0001, Andrés Viso |
Pure Pattern Calculus à la de Bruijn. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Susannah Mansky, Elsa L. Gunter |
Safety of a Smart Classes-Used Regression Test Selection Algorithm. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy P. Felty, João Marcos 0001 (eds.) |
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019 |
LSFA |
2020 |
DBLP BibTeX RDF |
|
| 1 | Carlos Olarte, Elaine Pimentel, Bruno Xavier |
A Fresh View of Linear Logic as a Logical Framework. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudia Nalon, Giselle Reis |
Preface. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Manzino, Alberto Pardo |
Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudia Nalon, Giselle Reis (eds.) |
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020 |
LSFA |
2020 |
DBLP BibTeX RDF |
|
| 1 | Sandro Preto, Marcelo Finger |
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Brodo, Carlos Olarte |
A Constraint-based Language for Multiparty Interactions. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Maribel Fernández, Miguel Ramos 0002 |
EVL: A Typed Higher-order Functional Language for Events. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Urciuoli, Álvaro Tasistro, Nora Szasz |
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sepehr Amir-Mohammadian, Chadi Kari |
Correct Audit Logging in Concurrent Systems. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Campercholi, Mauricio Tellechea, Pablo Ventura |
Deciding Quantifier-free Definability in Finite Algebraic Structures. |
LSFA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitor Machado, Mario R. F. Benevides |
Populational Announcement Logic (PPAL). |
LSFA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter, Alfio Martini, Edward Hermann Häusler |
Indexed and Fibred Structures for Hoare Logic. |
LSFA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Manisha Jain, Alexandre Madeira, Manuel A. Martins 0001 |
A Fuzzy Modal Logic for Fuzzy Transition Systems. |
LSFA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Carlos Olarte (eds.) |
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018 |
LSFA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Leandro Gomes 0001, Alexandre Madeira, Luís Soares Barbosa |
Introducing Synchrony in Fuzzy Automata. |
LSFA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale |
On Solving Nominal Disunification Constraints. |
LSFA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo |
Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence. |
LSFA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy P. Felty, João Marcos 0001 |
Preface. |
LSFA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus V. M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy J. G. B. de Queiroz |
Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Díaz-Caro, Octavio Malherbe |
A Concrete Categorical Semantics of Lambda-S. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Roberto Folhadela Benevides, Isaque Macalam Saab Lima |
Dynamic Epistemic Logic with Communication Actions. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Umberto Rivieccio, Matthew Spinks |
Quasi-Nelson Algebras. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Greco 0001, Fei Liang, Krishna Manoorkar, Alessandra Palmigiano |
Proper Multi-Type Display Calculi for Rough Algebras. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Sabine Broda |
Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira |
On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
First Steps Towards a Formalization of Forcing. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Madeira, Manuel A. Martins 0001, Mario R. F. Benevides |
Epistemic Logics with Structured Knowledge. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Carlos Olarte |
Preface. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | João F. L. Alcântara, Samy Sá |
On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho |
A Formalisation of Nominal C-Matching through Unification with Protected Variables. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Renata Wasserman (eds.) |
12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017 |
LSFA |
2018 |
DBLP BibTeX RDF |
|
| 1 | Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam |
Mechanizing Focused Linear Logic in Coq. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Renata Wasserman |
Preface. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Del Vecchio, Virgile Mogbil |
An Interpretation of CCS into Ludics. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Yousri Mahmoud, Amy P. Felty |
Formal Meta-level Analysis Framework for Quantum Programming Languages. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández, Hélène Kirchner, Bruno Pinaud |
Labelled Port Graph - A Formal Structure for Models and Computations. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Gunther, Alejandro Gadea, Miguel Pagano |
Formalization of Universal Algebra in Agda. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo Calderón |
Formalizing Constructive Projective Geometry in Agda. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins 0001 |
A Family of Graded Epistemic Logics. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli |
(In)Efficiency and Reasonable Cost Models. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Díaz-Caro, Guido Martínez |
Confluence in Probabilistic Rewriting. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arve Gengelbach, Tjark Weber |
Model-Theoretic Conservative Extension for Definitional Theories. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Madeira, Renato Neves, Manuel A. Martins 0001, Luís Soares Barbosa |
Hierarchical Hybrid Logic. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Copello, Nora Szasz, Álvaro Tasistro |
Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Polina Vinogradova, Amy P. Felty, Philip J. Scott |
Formalizing Abstract Computability: Turing Categories in Coq. |
LSFA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Nigam, Mário Florido (eds.) |
11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016 |
LSFA |
2017 |
DBLP BibTeX RDF |
|
| 1 | Márcia Farias, Ana Teresa C. Martins, Francicleber Martins Ferreira |
The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results. |
LSFA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel |
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. |
LSFA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Lombardi, Alejandro Ríos 0001, Roel de Vrijer |
Projections for Infinitary Rewriting. |
LSFA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho |
A Formalisation of Nominal α-equivalence with A and AC Function Symbols. |
LSFA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Nigam, Mário Florido |
Preface. |
LSFA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | José Espírito Santo |
The Polarized λ-calculus. |
LSFA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rakan Alsowail, Ian Mackie |
Controlling File Access with Types. |
LSFA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel |
Hybrid and Subexponential Linear Logics. |
LSFA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaustuv Chaudhuri, Leonardo Lima 0001, Giselle Reis |
Formalized Meta-Theory of Sequent Calculi for Substructural Logics. |
LSFA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Filipe Casal, Andreia Mordido |
Generalized Probabilistic Satisfiability. |
LSFA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, René Thiemann (eds.) |
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015 |
LSFA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón |
Type Soundness for Path Polymorphism. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Maribel Fernández, Murdoch James Gabbay, Ana Cristina Rocha Oliveira |
Checking Overlaps of Nominal Rewriting Rules. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli, Christian Straßer |
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Rodríguez, Miguel Pagano, Daniel Fridlender |
Proving Correctness of a Compiler Using Step-indexed Logical Relations. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucciarelli, Delia Kesner, Daniel Ventura |
Strong Normalization through Intersection Types and Memory. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández |
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev |
On Strong Normalization in Proof-Graphs for Propositional Logic. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira |
Completeness in PVS of a Nominal Unification Algorithm. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo A. S. Veloso, Sheila R. M. Veloso |
On Graphs for Intuitionistic Modal Logics. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, René Thiemann |
Preface. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Elaine Pimentel, Vivek Nigam, João Neto |
Multi-focused Proofs with Different Polarity Assignments. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz |
Normalization of N-Graphs via Sub-N-Graphs. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeria de Paiva, Eike Ritter |
Fibrational Modal Type Theory. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Zakaria Chihani, Dale Miller 0001 |
Proof Certificates for Equality Reasoning. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy L. Crole, Amy Elizabeth Furniss |
Canonical HybridLF: Extending Hybrid with Dependent Types. |
LSFA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Ian Mackie (eds.) |
Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014 |
LSFA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Abeer S. Al-Humaimeedy, Maribel Fernández |
Enabling Synchronous and Asynchronous Communications in CSP for SOC. |
LSFA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cécilia Englander, Gilles Dowek, Edward Hermann Haeusler |
Yet Another Bijection Between Sequent Calculus and Natural Deduction. |
LSFA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Sternagel, René Thiemann |
A Framework for Developing Stand-Alone Certifiers. |
LSFA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Montanari, Matteo Sammartino |
Network-Conscious π-calculus - A Model of Pastry. |
LSFA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Arias 0001, Michell Guzmán, Carlos Olarte |
A Symbolic Model for Timed Concurrent Constraint Programming. |
LSFA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Olarte, Elaine Pimentel |
Proving Concurrent Constraint Programming Correct, Revisited. |
LSFA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Maribel Fernández |
A Framework for the Analysis of Access Control Policies with Emergency Management. |
LSFA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew M. Pitts, Justus Matthiesen, Jasper Derikx |
A Dependent Type Theory with Abstractable Names. |
LSFA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine |
Skalpel: A Type Error Slicer for Standard ML. |
LSFA |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license