FLORID: A prototype for F-logic

Proceedings - International Conference on Data Engineering

Volumn , Issue , 1997, Pages 583-

  Frohn, J ^a   Himmeroeder, R ^a   Kandzia, P Th ^a   Lausen, G ^a   Schlepphorst, C ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; FORMAL LOGIC; INTERFACES (COMPUTER); OBJECT ORIENTED PROGRAMMING;

F LOGIC REASONING IN DATABASES (FLORID);

DATABASE SYSTEMS;

EID: 0030702242     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icde.1997.582037     Document Type: Conference Paper

References (3)