researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2008
2009
2011
2014
2015
2016
2017
2018
2019
2020
Filter by Tag
Filter by Author
[+]
OR
AND
NOT
1
Alberto Pardo
Alejandro Ríos
Alexandre Madeira
Alexis Martin
Alfio Martini
Amy Felty
Andrés Viso
Bruno Xavier
Carlos Olarte
Cecilia Manzino
Chadi Kari
Cláudia Nalon
Daniele Nantes Sobrinho
Deivid Val
Edward Hermann Häusler
Elaine Pimentel
Elsa L. Gunter
Favio E. Miranda-Perea
Giselle Reis
Maribel Fernández
Filter by Top terms
[+]
OR
AND
NOT
1
1
2019
31
agda
algorithm
applications
august
brasília
brazil
constructive
frameworks
logic
logical
lsfa
natal
proceedings
semantic
september
systems
workshop
LSFA (LSFA)
Editions
Publications
Viewing Publication 1 - 30 from 30
2020
EVL: A Typed Higher-order Functional Language for Events
Sandra Alves
,
Maribel Fernández
,
Miguel Ramos 0002
.
LSFA 2020
:
3-23
[doi]
Correct Audit Logging in Concurrent Systems
Sepehr Amir-Mohammadian
,
Chadi Kari
.
LSFA 2020
:
115-141
[doi]
On Solving Nominal Disunification Constraints
Mauricio Ayala-Rincón
,
Maribel Fernández
,
Daniele Nantes Sobrinho
,
Deivid Val
.
LSFA 2020
:
3-22
[doi]
A Constraint-based Language for Multiparty Interactions
Linda Brodo
,
Carlos Olarte
.
LSFA 2020
:
25-50
[doi]
Deciding Quantifier-free Definability in Finite Algebraic Structures
Miguel Campercholi
,
Mauricio Tellechea
,
Pablo Ventura
.
LSFA 2020
:
23-41
[doi]
Preface
Amy Felty
,
João Marcos
.
LSFA 2020
:
1-2
[doi]
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019
Amy P. Felty
,
João Marcos 0001
, editors,
Volume 348 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2020.
[doi]
Introducing Synchrony in Fuzzy Automata
Leandro Gomes
,
Alexandre Madeira
,
Luís Soares Barbosa
.
LSFA 2020
:
43-60
[doi]
Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence
Lourdes Del Carmen González-Huesca
,
Favio E. Miranda-Perea
,
P. Selene Linares-Arévalo
.
LSFA 2020
:
61-83
[doi]
A Fuzzy Modal Logic for Fuzzy Transition Systems
Manisha Jain
,
Alexandre Madeira
,
Manuel A. Martins
.
LSFA 2020
:
85-103
[doi]
Populational Announcement Logic (PPAL)
Vitor Machado
,
Mario R. F. Benevides
.
LSFA 2020
:
105-123
[doi]
Safety of a Smart Classes-Used Regression Test Selection Algorithm
Susannah Mansky
,
Elsa L. Gunter
.
LSFA 2020
:
51-73
[doi]
Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types
Cecilia Manzino
,
Alberto Pardo
.
LSFA 2020
:
75-94
[doi]
à la de Bruijn
Alexis Martin
,
Alejandro Ríos
,
Andrés Viso
.
LSFA 2020
:
95-113
[doi]
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2019
Cláudia Nalon
, editor,
Volume 351 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2020.
[doi]
Preface
Cláudia Nalon
,
Giselle Reis
.
LSFA 2020
:
1-2
[doi]
A Fresh View of Linear Logic as a Logical Framework
Carlos Olarte
,
Elaine Pimentel
,
Bruno Xavier
.
LSFA 2020
:
143-165
[doi]
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic
Sandro Preto
,
Marcelo Finger
.
LSFA 2020
:
167-186
[doi]
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda
Sebastián Urciuoli
,
Álvaro Tasistro
,
Nora Szasz
.
LSFA 2020
:
187-203
[doi]
Indexed and Fibred Structures for Hoare Logic
Uwe Wolter
,
Alfio Martini
,
Edward Hermann Häusler
.
LSFA 2020
:
125-145
[doi]
2019
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018
Beniamino Accattoli
,
Carlos Olarte
, editors,
Volume 344 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2019.
[doi]
2018
12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017
Sandra Alves
,
Renata Wasserman
, editors,
Volume 338 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2018.
[doi]
2017
11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016
Vivek Nigam
,
Mário Florido
, editors,
Volume 332 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2017.
[doi]
2016
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015
Mario R. F. Benevides
,
René Thiemann
, editors,
Volume 323 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2016.
[doi]
2015
Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014
Mauricio Ayala-Rincón
,
Ian Mackie
, editors,
Volume 312 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2015.
[doi]
2014
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013
Maribel Fernández
,
Marcelo Finger
, editors,
Volume 305 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2014.
[doi]
2011
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010
Edward Hermann Haeusler
,
Luis Fariñas del Cerro
, editors,
Volume 269 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2011.
[doi]
2009
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009
Mauricio Ayala-Rincón
,
Fairouz Kamareddine
, editors,
Volume 256 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2009.
[doi]
Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008
Belo Horizonte
,
Elaine Pimentel
,
Mario R. F. Benevides
, editors,
Volume 247 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2009.
[doi]
2008
Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007
Mauricio Ayala-Rincón
,
Edward Hermann Haeusler
, editors,
Volume 205 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2008.
[doi]
Sign in
or
sign up
to see more results.