4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 4 cited
Formalizing the Confluence of Orthogonal Rewriting Systems
Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón
Orthogonality is a discipline of programming that in a syntactic manner guarantees determinism of functional specifications. Essentially, orthogonality avoids, on the one side, the…
cs.LO2013★ 2 cited
Elementary Deduction Problem for Locally Stable Theories with Normal Forms
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
We present an algorithm to decide the intruder deduction problem (IDP) for a class of locally stable theories enriched with normal forms. Our result relies on a new and efficient a…