Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
categorical semantics (võtmesõna)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
2
Vaata veel..
(3/54)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
nimi kasvavalt
nimi kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
p. 1177-1200 : ill
http://dx.doi.org/10.1016/j.jlamp.2016.07.001
artikkel ajakirjas
2
artikkel kogumikus
Combining effects and coeffects via grading
Gaboardi, Marco
;
Katsumata, Shin-ya
;
Orchard, Dominic
;
Breuvart, Flavien
;
Uustalu, Tarmo
ICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 2016
2016
/
p. 476-489
https://doi.org/10.1145/2951913.2951939
artikkel kogumikus
Kirjeid leitud 2, kuvan
1 - 2
pealkiri
29
1.
Abstract categorical semantics for resourceful functional reactive programming
2.
Categorical semantics for bounded Petri Nets
3.
categorical semantics for hierarchical Petri Nets
4.
A Hoare logic for the coinductive trace-based big-step semantics of While
5.
A legal-relationship establishment in smart contracts : ontological semantics for programming-language development
6.
Addressing scalability issues in semantics-driven recommender systems
7.
Another side of categorical propositions : the keynes–johnson octagon of oppositions
8.
Bialgebraic foundations for the operational semantics of string diagrams
9.
Bing-CF-IDF+ : a semantics-driven news recommender system
10.
Bing-CSF-IDF+: a semantics-driven recommender system for news
11.
Computing data lineage and business semantics for data warehouse
12.
Deep semantics of visual languages
13.
Efficient semantics of parallel and serial models of attack trees = Ründepuude paralleel- ja jadamudelite efektiivsed semantikad
14.
Functorial semantics for partial theories
15.
Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalization
16.
Higher-order attribute semantics of flat declarative languages
17.
Higher-order attribute semantics of flat languages
18.
Higher-order attribute semantics of flat languages = Lamedate keelte kõrgemat järku atribuutsemantika
19.
Kant's categorical imperative and national socialism
20.
Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika
21.
Operational semantics with semicommutations
22.
Personalized context-aware recommendations in SMARTMUSEUM : combining semantics with statistics
23.
Preserving semantics of the whole-part relationships in the object-relational databases
24.
Reasoning about correctness of transactional memory with operational semantics
25.
Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics
26.
Semantics on mobile robot algorithms development
27.
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
28.
Time semantics of executable activity diagrams for relativized conformance testing
29.
Using a rule language for capturing semantics in web-based systems
võtmesõna
21
1.
categorical semantics
2.
bialgebraic semantics
3.
big-step semantics
4.
business semantics
5.
categorical imperative
6.
categorical propositions
7.
compositional semantics
8.
content semantics
9.
denotational semantics
10.
emergent semantics
11.
formal semantics
12.
game-theoretic semantics
13.
neighborhood semantics
14.
Operational semantics
15.
question-answer semantics
16.
semantics
17.
semantics of programming languages
18.
semantics-driven recommendation
19.
structural operational semantics
20.
time semantics
21.
trace semantics
allikas
4
1.
Applied categorical structures
2.
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics : Craiova, Romania, June 13-15, 2012
3.
WIMS 2018 : 8th International Conference on Web Intelligence, Mining and Semantics, June 25–27 2018, Novi Sad, Serbia : proceedings
4.
10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings