Search for a command to run...
article Free Access Share on Logic and Databases: A Deductive Approach Authors: Herve Gallaire Compagnie Générale d'Électricité Laboratoire de Marcoussis, Marcoussis, France Compagnie Générale d'Électricité Laboratoire de Marcoussis, Marcoussis, FranceView Profile , Jack Minker University of Maryland, Computer Science Department, College Park, Maryland University of Maryland, Computer Science Department, College Park, MarylandView Profile , Jean-Marie Nicolas ONERA-CERT, Département d'Informatique, Toulouse, France ONERA-CERT, Département d'Informatique, Toulouse, FranceView Profile Authors Info & Claims ACM Computing SurveysVolume 16Issue 2June 1984 pp 153–185https://doi.org/10.1145/356924.356929Published:01 June 1984Publication History 580citation5,083DownloadsMetricsTotal Citations580Total Downloads5,083Last 12 Months1,072Last 6 weeks185 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF