1 citations · 1 across the 2 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2015★ 1 cited
Formalization of closure properties for context-free grammars
Marcus V. M. Ramos, Ruy J. G. B. de Queiroz
Context-free language theory is a well-established area of mathematics, relevant to computer science foundations and technology. This paper presents the preliminary results of an o…
cs.FL2015
Context-Free Language Theory Formalization
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz
Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program…