OpenAlex | Toward Automating the Discovery of Decreasing Measures

Toward Automating the Discovery of Decreasing Measures

Work

Year: 2005

Type: article

Source: Journal of Automated Reasoning

Authors Robert S. Boyer, Wilfred J. Legato, Victor W. Marek

Institutions The University of Texas at Austin, National Security Agency, University of Kentucky

Cites: 9

Cited by:

Related to: 10

FWCI:

Citation percentile (by year/subfield):

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed