Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

calculus of relations (võtmesõna)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 2
Vaata veel.. (1/39)
Ekspordi

ekspordi kõik päringu tulemused (2)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

Diagrammatic algebra of first order logicBonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaLICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science2024 / art. 16, p. 1-15 : ill https://doi.org/10.1145/3661814.3662078 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
2

artikkel ajakirjas

Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055

artikkel ajakirjas

Kirjeid leitud 2, kuvan 1 - 2

1. calculus of relations
2. Calculus of Variations and Optimization
3. coend calculus
4. comonadic lambda-calculus
5. differentiation (calculus)
6. focused sequent calculus
7. fractional calculus
8. fractional-order calculus
9. network calculus
10. sequent calculus
11. time scale calculus
12. variable-order fractional calculus
13. λ-calculus
14. π-calculus
15. affine relations
16. armed forces capabilities. civil-military (relations)
17. China–Africa relations
18. cultural theory of international relations
19. Drought relations
20. equivalence relations
21. external relations
22. Franco-British relations
23. Gergonne relations
24. industrial relations
25. international relations
26. international relations and international political economy
27. logical relations
28. New Zealand’s relations with the Baltic States
29. opposition relations
30. politics and international relations
31. relations between the United Kingdom and the EU
32. sensory-instrumental relations
33. sign relations
34. Triadic relations
35. UK-EU relations
36. university- industry- government relations
37. university-industry relations
38. university-industry-state relations
39. university-industry-state relations

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu