Work

Termination of Polynomial Programs

Year: 2005

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-30579-8_8

Authors: Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Institution: Stanford University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1541144457

FWCI: 9.515

Cites: 14

Cited by: 123

Related to: 10