default search action

combined dblp search
author search
venue search
publication search

ask others

17th LSFA 2022: Belo Horizonte, Brazil [hybrid]

> Home > Conferences and Workshops > LSFA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-12680
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-12680
Daniele Nantes-Sobrinho, Pascal Fontaine:
Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022. EPTCS 376, 2023
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-13254
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-13254
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa:
Paraconsistent Transition Systems. 3-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-13255
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-13255
Erick Simas Grilo, Bruno Lopes:
ReLo: a Dynamic Logic to Reason About Reo Circuits. 16-33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-13256
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-13256
Liye Guo, Deivid Vale:
Analyzing Innermost Runtime Complexity Through Tuple Interpretations. 34-48
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-13257
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-13257
Dohan Kim:
Equational Theorem Proving for Clauses over Strings. 49-66
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-13252
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-13252
Miguel Pagano, José E. Solsona:
Nominal Sets in Agda - A Fresh and Immature Mechanization. 67-80
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-13258
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-13258
Sebastián Urciuoli:
A Formal Proof of the Strong Normalization Theorem for System T in Agda. 81-99

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.