Die arithmetische Komplexität bestimmter Eigenschaften der Semantik und der SLD-Bäume von logischen Programmen https://www.jugend-forscht.de/index.php?id=262&tx_smsjufoprojects_smsjufprojectdb%5Bproject%5D=1183&tx_smsjufoprojects_smsjufprojectdb%5Baction%5D=show&tx_smsjufoprojects_smsjufprojectdb%5Bcontroller%5D=Project&cHash=6eb7f4814f2c0610375d9d3cd951dc25
mathematischen Gefilden, in denen Till Mossakowski geforscht hat, sieht das allerdings viel
