( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Checking Overlaps of Nominal Rewriting Rules.

, , , и . LSFA, том 323 из Electronic Notes in Theoretical Computer Science, стр. 39-56. Elsevier, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ana Rosa Rocha Araújo

Sónia Cristina Oliveira Barbosa

Ana Isabel Oliveira Ferreira

Tereza Cristina Oliveira Corvelo

Márcia Cristina Oliveira Cavalcanti

 

Другие публикации лиц с тем же именем

A formalisation of nominal α-equivalence with A, C, and AC function symbols., , , , и . Theor. Comput. Sci., (2019)The Computational Relevance of Formal Logic Through Formal Proofs., , , , и . FMTea, том 11758 из Lecture Notes in Computer Science, стр. 81-96. Springer, (2019)Checking Overlaps of Nominal Rewriting Rules., , , и . LSFA, том 323 из Electronic Notes in Theoretical Computer Science, стр. 39-56. Elsevier, (2015)