English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Lower end of the linial-post spectrum
Details
Full
Export
Statistics
Options
2017
Conference Paper
Titel
Lower end of the linial-post spectrum
Author(s)
Dudenhefner, A.
Rehof, J.
Hauptwerk
23rd International Conference on Types for Proofs and Programs, TYPES 2017
Konferenz
International Conference on Types for Proofs and Programs (TYPES) 2017
Language
English
google-scholar
View Details
Fraunhofer-Institut für Software- und Systemtechnik ISST