English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Improvements in program synthesis using fine-grain sorted logic
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1991
Conference Paper
Title
Improvements in program synthesis using fine-grain sorted logic
Author(s)
Burghardt, J.
Mainwork
Constructing programs from specifications
Conference
Working Conference on Constructive Programs from Specifications 1991
Language
English
GMD
