Schroeder-Heister, Peter
![](/image/cris/bar-loader.gif)
Name
Schroeder-Heister, Peter
![](/image/cris/bar-loader.gif)
Publications
(Todas)
Resultados 1-1 de 1.
Data de publicação | Título | Autor(es) | Tipo | Acesso | |
---|---|---|---|---|---|
1 | 2006 | Introduction: Proof-theoretic Semantics | Kahle, Reinhard ; Schroeder-Heister, Peter | article | openAccess |