A sound and complete axiomatization of embedded cross dependencies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1983

A sound and complete axiomatization of embedded cross dependencies

Patrick Richard
  • Function : Author

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-0249.pdf (463.04 Ko) Télécharger le fichier

Dates and versions

inria-00076309 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00076309 , version 1

Cite

François Bancilhon, Patrick Richard. A sound and complete axiomatization of embedded cross dependencies. RR-0249, INRIA. 1983. ⟨inria-00076309⟩
48 View
72 Download

Share

Gmail Facebook Twitter LinkedIn More