( en | de | ru )

 

Disambiguation of "Horozal, Fulya"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Source, Content, Presentation, Narration, and Relational Representation.

, , , , and . Calculemus/MKM, volume 6824 of Lecture Notes in Computer Science, page 212-227. Springer, (2011)

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.

Fulya Filiz

Fulya Damla Kentli

 

Other publications of authors with the same name

Towards a Natural Representation of Mathematics in Proof Assistants. Saarland University, Saarbrücken, Germany, (2007)Towards Logical Frameworks in the Heterogeneous Tool Set Hets, , , , , and . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 139-159. Springer, (2012)Compiling Logics, , , , and . Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, volume 7841 of Lecture Notes in Computer Science, page 111-126. Springer, (2013)A Proof Theoretic Interpretation of Model Theoretic Hiding, , , , and . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 118-138. Springer, (2012)Tool Support for Architectural Pattern Selection and Application in Cloud-Centric Service-Oriented IDEs., , and . eSAAM, page 53-61. ACM, (2023)Persistence and Big Data Analytics Architectures for Smart Connected Vehicles., , , and . CoRR, (2019)Formal Representation of Mathematics in a Dependently Typed Set Theory., and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 265-279. Springer, (2007)A Framework for Defining Declarative Languages.. Jacobs University, (2014)