Work

Better Termination Proving through Cooperation

Year: 2013

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-39799-8_28

Authors: Marc Brockschmidt, Byron Cook, Carsten Fuhs

Institutions: RWTH Aachen University, Microsoft Research (United Kingdom), University College London

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Engineering and Physical Sciences Research Council

Awards: G5753248581, G990077672

OpenAlex ID: W188927585

FWCI: 9.27

Cites: 49

Cited by: 74

Related to: 10