Work

Compiling Constraint-Checking Programs from First-Order Formulas

Year: 1984

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-1-4615-9385-0_6

Authors: Lawrence J. Henschen, William W. McCune, Shamin A. Naqvi

Institution: Northwestern University

Language: English

Topic: Advanced Database Systems and Queries

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1853643178

FWCI: 3.238

Cites: 15

Cited by: 65

Related to: 10