A relation-algebraic approach to the "Hoare logic" of functional dependencies Artigo Académico

http://www.scopus.com/inward/record.url?eid=2-s2.0-84923057252&partnerID=MN8TOARS

Visão geral
Identidade
Informação adicional documento
Ver Todos

autores

Oliveira, José Nuno Fonseca
Oliveira, J.N.
J.N. Oliveira

data de publicação

janeiro 1, 2014

publicada em

Journal of Logical and Algebraic Methods in Programming Revista