F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
Year: 1989
Type: article
Source: ACM SIGMOD Record
DOI: 10.1145/66926.66939
Authors: Michael Kifer, Georg Lausen
Institutions: Stony Brook University, University of Mannheim
Language: English
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1977583107