Autor der Publikation

Optimized Compilation of Multiset Rewriting with Comprehensions.

, und . APLAS, Volume 8858 von Lecture Notes in Computer Science, Seite 19-38. Springer, (2014)

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

Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles., , und . COORDINATION, Volume 9037 von Lecture Notes in Computer Science, Seite 51-66. Springer, (2015)Let's Unify With Scala Pattern Matching!, und . UNIF, Seite 43-48. (2016)Optimized Compilation of Multiset Rewriting with Comprehensions., und . APLAS, Volume 8858 von Lecture Notes in Computer Science, Seite 19-38. Springer, (2014)Modeling datalog fact assertion and retraction in linear logic., und . PPDP, Seite 67-78. ACM, (2012)Choreographic Compilation of Decentralized Comprehension Patterns., , und . RuleML, Volume 9718 von Lecture Notes in Computer Science, Seite 113-129. Springer, (2016)