Przeglądaj przez Autor Koepke, Peter
Pokazuję rezultaty 1 do 2 z 2
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2012 | The Gödel Completeness Theorem for Uncountable Languages | Schlöder, Julian J.; Koepke, Peter | - | - |
2012 | Transition of Consistency and Satisfiability under Language Extensions | Schlöder, Julian J.; Koepke, Peter | - | - |