Zobrazeno 1 - 7 of 7 pro vyhledávání: '"Mylonakis, Nikos"'
1
Akademický článek
A logical approach to graph databases
Autor: Pino, Elvira, Orejas, Fernando, Mylonakis, Nikos, Pasarella, Edelmira
Publikováno v: In Journal of Logical and Algebraic Methods in Programming October 2024 141
Zobrazit plný text záznamu
2
Akademický článek
Proof Assistance for Refinement in Type Theory
Autor: Mylonakis, Nikos
Publikováno v: In Electronic Notes in Theoretical Computer Science 2000 37:1-21
Zobrazit plný text záznamu
3
Conference
A Semantics of Business Configurations Using Symbolic Graphs.
Autor: Mylonakis, Nikos, Orejas, Fernando, Fiadeiro, Jose
Publikováno v: 2015 IEEE International Conference on Services Computing; 2015, p146-153, 8p
Zobrazit plný text záznamu
5
Kniha
Checking Bisimilarity for Attributed Graph Transformation.
Autor: Orejas, Fernando, Boronat, Artur, Golas, Ulrike, Mylonakis, Nikos
Publikováno v: Foundations of Software Science & Computation Structures (9783642370748); 2013, p113-128, 16p
Zobrazit plný text záznamu
6
Kniha
Borrowed Contexts for Attributed Graphs.
Autor: Orejas, Fernando, Boronat, Artur, Mylonakis, Nikos
Publikováno v: Graph Transformations (9783642336539); 2012, p126-140, 15p
Zobrazit plný text záznamu
7
Kniha
A Distributed and Mobile Component System Based on the Ambient Calculus.
Autor: Fiadeiro, José Luiz, Mosses, Peter D., Mylonakis, Nikos, Orejas, Fernando
Publikováno v: Recent Trends in Algebraic Development Techniques (9783540253273); 2005, p186-200, 15p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje