Login / Signup
Maycon Amaro
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 4
Top Topics
Valued Semantics
Linearly Ordered
Propositional Logic
Regular Expressions
Top Venues
CLEI Electron. J.
SBMF
SBLP
RITA
</>
Publications
</>
Maycon Amaro
,
Samuel da Silva Feitosa
,
Rodrigo Geraldo Ribeiro
A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching.
SBMF
(2022)
Elton M. Cardoso
,
Maycon Amaro
,
Samuel da Silva Feitosa
,
Leonardo Vieira dos Santos Reis
,
André Rauber Du Bois
,
Rodrigo Geraldo Ribeiro
The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions.
CLEI Electron. J.
24 (3) (2021)
André Rauber Du Bois
,
Rodrigo Geraldo Ribeiro
,
Maycon Amaro
A Mechanized Proof of a Textbook Type Unification Algorithm.
RITA
27 (3) (2020)
Felipe Sasdelli
,
Maycon Amaro
,
Elton M. Cardoso
,
Samuel da Silva Feitosa
,
Rodrigo Geraldo Ribeiro
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics.
SBLP
(2020)