( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Semantics of Parsing with Semantic Actions.

. LICS, стр. 75-84. IEEE Computer Society, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Robert Klöfkorn

Numerics for evolution equations: a general interface based design concept. Uni Freiburg, (2009)

Robert Wille

Towards a design flow for reversible logic. Uni Bremen, (2009)

Robert Braun

Referenzmodellierung: Grundlegung und Evaluation der Technik des Modell-Konfigurationsmanagements. TU Dresden, (2010)

Robert Wagner

Inkrementelle Modellsynchronisation. Uni Paderborn, (2009)

Robert Zangenfeind

Das Bedeutung-Text-Modell: Wörterbuch und Grammatik einer integralen Sprachbeschreibung. Uni München, (2009)
 

Другие публикации лиц с тем же именем

Neural Networks, Secure by Construction - An Exploration of Refinement Types., , , , и . APLAS, том 12470 из Lecture Notes in Computer Science, стр. 67-85. Springer, (2020)From parametricity to conservation laws, via Noether's theorem.. POPL, стр. 491-502. ACM, (2014)A lambda-Calculus for Resource Separation.. ICALP, том 3142 из Lecture Notes in Computer Science, стр. 158-170. Springer, (2004)Parameterised Notions of Computation.. MSFP@MPC, BCS, (2006)The Vehicle Tutorial: Neural Network Verification with Vehicle., , , , , , , , и . FoMLAS@CAV, том 16 из Kalpa Publications in Computing, стр. 1-5. EasyChair, (2023)Parameterised notions of computation.. J. Funct. Program., 19 (3-4): 335-376 (2009)The Semantics of Parsing with Semantic Actions.. LICS, стр. 75-84. IEEE Computer Society, (2012)Relational Parametricity for Higher Kinds.. CSL, том 16 из LIPIcs, стр. 46-61. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Dijkstra monads for all., , , , , , и . Proc. ACM Program. Lang., 3 (ICFP): 104:1-104:29 (2019)Abstraction and invariance for algebraically indexed types., , и . POPL, стр. 87-100. ACM, (2013)