Work

Untitled

Year: 2003

Type: article

Source: Higher-Order and Symbolic Computation

DOI: 10.1023/a:1023068020483

Authors: Yanhong A. Liu, Scott D. Stoller

Institutions: State University of New York, Stony Brook University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W219888783

FWCI: 4.049

Cites: 60

Cited by: 30

Related to: