( en | de | ru )

 

Disambiguation of "Szasz, Nora"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Driven Engineering in the Heterogeneous Tool Set

, , and . 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings, volume 8941 of Lecture Notes in Computer Science, page 64-79. (2015)

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. You can also use the button next to the name to display some publications already assigned to the person.

Nora Szasz

Joseph Noras

Serge Noraz

Karl Noras

Paul Noras

 

Other publications of authors with the same name

Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software., , , and . CIbSE, page 99-112. Curran Associates, (2013)Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention., , and . Math. Struct. Comput. Sci., 31 (3): 341-360 (2021)Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus., , and . LSFA, volume 312 of Electronic Notes in Theoretical Computer Science, page 215-230. Elsevier, (2014)Model-Driven Engineering in the Heterogeneous Tool Set, , and . 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings, volume 8941 of Lecture Notes in Computer Science, page 64-79. (2015)Bridging Technological Spaces for the Verification of Model Transformations., and . CIbSE, page 43-56. Curran Associates, (2013)Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory., , , , and . LSFA, volume 323 of Electronic Notes in Theoretical Computer Science, page 109-124. Elsevier, (2015)Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda., , and . LSFA, volume 351 of Electronic Notes in Theoretical Computer Science, page 187-203. Elsevier, (2020)Verification of Model Transformations: A Survey of the State-of-the-Art., and . CLEI Selected Papers, volume 292 of Electronic Notes in Theoretical Computer Science, page 5-25. Elsevier, (2012)Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory., , and . LSFA, volume 338 of Electronic Notes in Theoretical Computer Science, page 79-95. Elsevier, (2017)