Work

?-match: An inference rule for incrementally elaborating set instantiations

Year: 1993

Type: article

Source: Journal of Automated Reasoning

DOI: 10.1007/bf00881874

Authors: Sidney C. Bailin, Dave Barker-Plummer

Institutions: Computer Technology Associates (United States), Swarthmore College

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2091542811

FWCI: 2.257

Cites: 10

Cited by: 12

Related to: 10