11 results
Skip to content
Toggle navigation
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Your Account
Log Out
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Ayala-Rincón, Mauricio
Showing
1
-
11
of
11
for search:
'Ayala-Rincón, Mauricio'
, query time: 0.03s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Nominal equational problems modulo associativity, commutativity and associativity-commutativity
by
Carvalho Segundo, Washington Luís Ribeiro de
Published 2019
Other Authors:
';
“
...
Ayala
-
Rincón
,
Mauricio
...
”
Get full text
Tese
Save to List
Saved in:
2
Um estudo em unificação e desunificação módulo
by
Arshid, Mehwish
Published 2021
Other Authors:
';
“
...
Ayala
-
Rincón
,
Mauricio
...
”
Get full text
Dissertação
Save to List
Saved in:
3
Representação combinatória e algébrica das permutações na análise do problema de rearranjo de genomas por reversões
by
Lima, Thaynara Arielly de
Published 2010
Other Authors:
';
“
...
Ayala
-
Rincón
,
Mauricio
...
”
Get full text
Dissertação
Save to List
Saved in:
4
Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
by
Avelar, Andréia Borges
Published 2011
Other Authors:
';
“
...
Ayala
-
Rincón
,
Mauricio
...
”
Get full text
Dissertação
Save to List
Saved in:
5
O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
by
Nantes Sobrinho, Daniele
Published 2010
Other Authors:
';
“
...
Ayala
-
Rincón
,
Mauricio
...
”
Get full text
Dissertação
Save to List
Saved in:
6
Uma formalização da teoria de reescrita em linguagem de ordem superior
by
Galdino, André Luiz
Published 2009
Other Authors:
';
“
...
Ayala
-
Rincón
,
Mauricio
...
”
Get full text
Tese
Save to List
Saved in:
7
Formalização da confluência para sistemas de reescrita ortogonais
by
Oliveira, Ana Cristina Rocha
Published 2012
Other Authors:
';
“
...
Ayala
-
Rincón
,
Mauricio
...
”
Get full text
Dissertação
Save to List
Saved in:
8
O problema da dedução do intruso para teorias AC-convergentes localmente estáveis
by
Nantes Sobrinho, Daniele
Published 2013
Other Authors:
';
“
...
Ayala
-
Rincón
,
Mauricio
...
”
Get full text
Tese
Save to List
Saved in:
9
Formalização da automação da terminação através de grafos com matrizes de medida
by
Avelar, Andréia Borges
Published 2015
Other Authors:
';
“
...
Ayala
-
Rincón
,
Mauricio
...
”
Get full text
Tese
Save to List
Saved in:
10
Unificação, confluência e tipos com interseção para sistemas de reescrita nominal
by
Valverde, Ana Cristina Rocha Oliveira
Published 2017
Other Authors:
';
“
...
Ayala
-
Rincón
,
Mauricio
...
”
Get full text
Get full text
Tese
Save to List
Saved in:
11
On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS
by
Almeida, Ariane Alves
Published 2021
Other Authors:
';
“
...
Ayala
-
Rincón
,
Mauricio
...
”
Get full text
Tese
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
×
Loading...