Extensões não Lógicas do Cálculo Relacional
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Algebra Relacional
-
Cálculo Relacional
-
Cálculo Relacional com Binders
-
Cálculo Relacional com Fork
-
Cálculo Relacional com Grafos
-
Especificações formais
-
Extensões não lógicas
-
Logica
-
Lógica
-
Lógica Modal
-
Lógica Temporal Linear Bisortida
-
Álgebra
Identidade
identificador BrCris
-
00ad0992b648cf911b9109aed36dfd85