Main » SIGIR » 1971 » ACM SIGIR Information Storage and Retrieval Symposium, College Park, Maryland, USA, April 1-2, 1971, Proceeding »

The Relational Data File and the Decision Problem for Classes of Proper Formulas

Robert A. Di Paola

Anthology ID:
DBLP:conf/sigir/Paola71
Volume:
ACM SIGIR Information Storage and Retrieval Symposium, College Park, Maryland, USA, April 1-2, 1971, Proceeding
Year:
1971
Venue:
sigirconf_conference
Publisher:
ACM
Pages:
95–104
URL:
https://doi.org/10.1145/511285.511296
DOI:
10.1145/511285.511296
DBLP:
conf/sigir/Paola71
BibTeX:
Download 










Google Scholar


Internet Archive Scholar


Semantic Scholar