English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Logic programming with constructor-based type contraints
Details
Full
Export
Statistics
Options
1994
Conference Paper
Titel
Logic programming with constructor-based type contraints
Author(s)
Goltz, H.-J.
Hauptwerk
Integration of declarative paradigms
Konferenz
International Conference on Logic Programming (ICLP) 1994
Post-Conference Workshop on Integration of Declarative Paradigms 1994
Language
English
google-scholar
View Details
FIRST