Robert A. Di Paola

1971

doi dblp
The Relational Data File and the Decision Problem for Classes of Proper Formulas.
Robert A. Di Paola
ACM SIGIR Information Storage and Retrieval Symposium, College Park, Maryland, USA, April 1-2, 1971, Proceeding