Work

Automatic program synthesis in second-order logic

Year: 1973

Type: conference-paper

Source: International Joint Conference on Artificial Intelligence

Author: Jared L. Darlington

Institution: Gesellschaft Fur Mathematik Und Datenverarbeitung

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W31482196

FWCI: 0.738

Cites: 6

Cited by: 5

Related to: 10