( en | de | ru )

 

Disambiguierung von "Schachte, Peter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A complete refinement procedure for regular separability of context-free languages.

, , , , und . Theor. Comput. Sci., (2016)

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.

Tanja Elisabeth Peters

George Gershwins und Jerome Kerns Musicalsongs: ihre Ähnlichkeit, Wahrnehmung und musikalische Struktur. Uni Köln, (2008)

Andre Peters

Description and determination of soil hydraulic properties on the laboratory scale. TU Braunschweig, (2008)

Jillian Petersen

Diversity and ecology of chemosynthetic symbioses in deep-sea invertebrates. Uni Bremen, (2009)

Robert Martin Peterreins

Musikhörfähigkeit von Patienten mit elektroakustischer Stimulation: Testung anhand des Mu.S.I.C.-Tests. TU München, (2009)

Harald Peters

 

Weitere Publikationen von Autoren mit dem selben Namen

Compiling CP subproblems to MDDs and d-DNNFs., , , und . Constraints An Int. J., 24 (1): 56-93 (2019)Closure Operators for ROBDDs., und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2006)Size-Change Termination Analysis in k-Bits., , , und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 230-245. Springer, (2006)String Constraint Solving: Past, Present and Future., , , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2875-2876. IOS Press, (2020)A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications., , und . AINA Workshops (1), Seite 24-29. IEEE Computer Society, (2007)Dauphin: A Signal Processing Language - Statistical Signal Processing Made Easy., , und . DICTA, Seite 1-8. IEEE, (2015)Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study., , , , und . LOPSTR, Volume 12561 von Lecture Notes in Computer Science, Seite 192-209. Springer, (2020)Optimal Bounds for Floating-Point Addition in Constant Time., , , und . ARITH, Seite 159-166. IEEE, (2019)Secure random number agreement for peer-to-peer applications., , und . ICPADS, Seite 1-8. IEEE Computer Society, (2007)Un-Kleene Boolean equation Solving., , und . Int. J. Found. Comput. Sci., 18 (2): 227-250 (2007)