Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Tableau Methods for a Logic with Term Declarations., , und . J. Symb. Comput., 29 (2): 343-372 (2000)Free-variable Tableaux for Monotonic PreordersI., und . Logic Journal of the IGPL, 9 (6): 813-844 (2001)Algorithmic strategies for optimizing the parallel reduction primitive in CUDA., , , und . HPCS, Seite 511-519. IEEE, (2012)A Fully GPU-Implemented Rigid Body Simulator., , , und . GRAPP, Seite 342-349. (2008)A Tool for Automatic Code Generation from Schemas., , und . ICCS (2), Volume 5545 von Lecture Notes in Computer Science, Seite 63-73. Springer, (2009)Semantic Tableaux for a Logic with Preorders and Dynamic Sorts., und . APPIA-GULP-PRODE, Seite 139-154. (1996)Simultaneous Rigid Sorted Unification., und . JELIA, Volume 1919 von Lecture Notes in Computer Science, Seite 193-208. Springer, (2000)CGR: a Tool for Programming Using Schemes., , , und . COMPSAC (2), Seite 347-354. IEEE Computer Society, (2007)978-0-7695-2870-0.Ray casting using a roped BVH with CUDA., , und . SCCG, Seite 95-102. ACM, (2009)Simultaneous Rigid Sorted Unification for Tableaux., und . Studia Logica, 72 (1): 31-59 (2002)