Filtry
HTLC: Hyperintensional Typed Lambda Calculus
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- JSC •
- Odkaz
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Towards conceptual and logical modelling of NoSQL databases
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
JSON Functionally
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Towards Conceptual and Logical Modelling of NoSQL Databases
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D
Rok uplatnění
D - Stať ve sborníku
Functional Querying in Graph Databases
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Functional Querying in Graph Databases
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- Jost •
- Odkaz
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
Důkazový asistent HOL a jeho logika
predikátová logika, jedná se o lambda kalkul s typy.
AA - Filosofie a náboženství
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
Důkazový asistent HOL a jeho logika
se o lambda kalkul s typy.
AA - Filosofie a náboženství
- 2012 •
- O
Rok uplatnění
O - Ostatní výsledky
Utilization of Reductions and Abstraction Elimination in Typed Genetic Programming
IN - Informatika
- 2014 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
LambdaTalk - algorithm simulator
JC - Počítačový hardware a software
- 2007 •
- R
Rok uplatnění
R - Software
- 1 - 10 z 1 000