Halupczok Immanuel, Schulz André
Research article in edited proceedings (conference) | Peer reviewed| Halupczok, Immanuel | Institute of Mathematical Logic and Basic Research |
| Schulz, André | Professorship for mathematical logic and theoretical comupter science (Prof. Schulz) |