ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "typed lambda calculus"
typed lambda calculus
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Data Integration in a Multi-model Environment
2023 |
Matematicko-fyzikáln í fakulta
publication
Functional Querying in Graph Databases
+1
2017 |
Matematicko-fyzikální fakulta
publication
Towards conceptual and logical modelling of NoSQL databases
2022 |
Matematicko-fyzikální fakulta
publication
JSON Functionally
2020 |
Matematicko-fyzikální fakulta
publication
Towards Conceptual and Logical Modelling of NoSQL Databases
2021 |
Matematicko-fyzikální fakulta
publication
XML-lambda: an Extendible Framework for Manipulating XML Data
2002 |
Publikace bez příslušnosti k fakultě
publication
XML functionally
2000 |
Matematicko-fyzikální fakulta
publication
Integration of Relational and Graph Databases Functionally
2019 |
Matematicko-fyzikální fakulta
publication
Vyhodnocování XML dotazů v prostředí založeném na lambda kalkulu
2009 |
Matematicko-fyzikální fakulta
publication
K denotační sémantice jazyka XML-Lambda
2010 |
Matematicko-fyzikální fakulta
publication
Generating Lambda Term Individuals in Typed Genetic Programming Using Forgetful A*
2014 |
Matematicko-fyzikální fakulta