Work

The RTA List of Open Problems

Year: 2010

Type: article

Authors: Nachum Dershowitz, Ralf Treinen

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2130789212

FWCI: 0.841

Cites: 248

Cited by: 2

Related to: 10