Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
A Proposal for Interactive Program Generation
Daniel Winterstein
School of Informatics
Research output
:
Working paper
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A Proposal for Interactive Program Generation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Automated Reasoning
20%
Domains
20%
Generation
100%
Links
20%
Models
20%
Programs
100%
Reasoning
40%
Reasoning Technique
20%
Theorem Prover
20%
User
20%