default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th LSFA 2017: Brasília, Brazil
- Sandra Alves, Renata Wasserman:
12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017. Electronic Notes in Theoretical Computer Science 338, Elsevier 2018 - Sandra Alves, Renata Wasserman:
Preface. 1-2 - Maribel Fernández
, Hélène Kirchner, Bruno Pinaud:
Labelled Port Graph - A Formal Structure for Models and Computations. 3-21 - Beniamino Accattoli:
(In)Efficiency and Reasonable Cost Models. 23-43 - Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins:
A Family of Graded Epistemic Logics. 45-59 - Guillermo Calderón:
Formalizing Constructive Projective Geometry in Agda. 61-77 - 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. 79-95 - Stefano Del Vecchio, Virgile Mogbil:
An Interpretation of CCS into Ludics. 97-114 - Alejandro Díaz-Caro, Guido Martínez:
Confluence in Probabilistic Rewriting. 115-131 - Arve Gengelbach, Tjark Weber:
Model-Theoretic Conservative Extension for Definitional Theories. 133-145 - Emmanuel Gunther, Alejandro Gadea, Miguel Pagano:
Formalization of Universal Algebra in Agda. 147-166 - Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Hierarchical Hybrid Logic. 167-184 - Mohamed Yousri Mahmoud, Amy P. Felty:
Formal Meta-level Analysis Framework for Quantum Programming Languages. 185-201 - Polina Vinogradova, Amy P. Felty, Philip J. Scott:
Formalizing Abstract Computability: Turing Categories in Coq. 203-218 - Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam:
Mechanizing Focused Linear Logic in Coq. 219-236
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.
last updated on 2026-05-15 23:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
