Autor der Publikation

BNF-Style Notation as It Is Actually Used.

, , und . CICM, Volume 11617 von Lecture Notes in Computer Science, Seite 187-204. Springer, (2019)

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

Capsule Reviews.. Comput. J., 49 (4): 381-382 (2006)De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms., , und . PPDP, Seite 16-27. ACM, (2001)Flexible Encoding of Mathematics on the Computer., , und . MKM, Volume 3119 von Lecture Notes in Computer Science, Seite 160-174. Springer, (2004)De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case., und . J. Log. Algebraic Methods Program., 62 (2): 159-189 (2005)A Lambda-Calculus à la de Bruijn with Explicit Substitutions, und . PLILP, Volume 982 von Lecture Notes in Computer Science, Seite 45-62. Springer, (1995)The paradoxes and the infinite dazzled ancient mathematics and continue to do so today., und . SYNASC, Seite 11-19. IEEE, (2023)A Novel Phonetic Algorithm for Predicting Chinese Names using Chinese Pin Yin., und . MLDM (1), Seite 78-92. ibai Publishing, (2019)Generating Custom Set Theories with Non-set Structured Objects., , und . CICM, Volume 12833 von Lecture Notes in Computer Science, Seite 228-244. Springer, (2021)A Novel Method That Identifies The Hidden Properties Of A Person's Name In Kanji Or Hanzi., , , und . MISNC, Seite 79-85. ACM, (2021)Refining the Barendregt Cube Using Parameters., , und . FLOPS, Volume 2024 von Lecture Notes in Computer Science, Seite 375-390. Springer, (2001)