OpenAlex | A recursive decision method for termination of linear programs

A recursive decision method for termination of linear programs

Work

Year: 2014

Type: article

Author Yi Li

Institution Chongqing Institute of Green and Intelligent Technology

Cites: 14

Cited by: 6

Related to: 10

FWCI: 0.287

Citation percentile (by year/subfield): 53.48

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Sustainable Development Goal Peace, justice, and strong institutions

Open Access status: closed

Funders National Natural Science Foundation of China, Natural Science Foundation of Chongqing

Grant IDS 61103110, cstc2012ggB4004, cstc2013jjys0002