Work

Termination of Loop Programs with Polynomial Guards

Year: 2010

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-12189-0_42

Authors: Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng

Institutions: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Chinese Academy of Sciences, Shanghai University of Electric Power

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1483300171

FWCI: 0.518

Cites: 31

Cited by: 4

Related to: 10