Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

Mathematical structures in computer science (source)

—

—

Add criteria Simple search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 5
Look more.. (2/87)
Export

export all inquiry results (5)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

journal article

Automata and coalgebras in categories of speciesLoregian, FoscoMathematical structures in computer science2025 / 48 p https://doi.org/10.1017/S0960129525100364

journal article
2

journal article EST / journal article ENG

Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolo; Weide, Niels van derMathematical Structures in Computer Science2022 https://doi.org/10.1017/S0960129522000032 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
3

journal article EST / journal article ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloMathematical structures in computer science2019 / p. 67-92 https://doi.org/10.1017/s0960129517000184 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
4

journal article EST / journal article ENG

String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
5

journal article EST / journal article ENG

String diagram rewrite theory III : confluence with and without FrobeniusBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 829-869 https://doi.org/10.1017/S0960129522000123 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Number of records 5, displaying 1 - 5

1. mathematical structures in functional programming
2. computer science
3. computer science basics
4. computer science education
5. logic in computer science
6. lower limb mathematical modeling
7. mathematical analysis
8. mathematical description
9. mathematical discovery
10. mathematical logic
11. Mathematical methods
12. mathematical model
13. mathematical modeling
14. mathematical modelling
15. mathematical models
16. mathematical models for economic problems
17. mathematical optimization
18. Mathematical Physics
19. mathematical programming
20. mathematical proof
21. mathematical representation
22. Mathematical simulation
23. mathematical techniques
24. multi-pole mathematical model
25. amyloid structures
26. atomic structures
27. Baltic onshore and offshore structures
28. bipolar transistor structures
29. cable structures
30. cellular structures
31. coastal structures
32. composite structures
33. concrete structures
34. conjoined structures
35. data structures
36. decision structures
37. disordered and β-structures
38. drying of structures
39. durability and resilience of structures
40. Elongated submesoscale structures - stripes
41. endolymphatic structures
42. environmental impact of marine structures
43. existing structures
44. fibre concrete structures
45. fire resistance of timber structures
46. floating structures
47. geological structures
48. helical structures
49. hierarchical structures
50. highly insulated structures
51. historic structures
52. hydraulic structures
53. IIR tapped lattice and DF-II filter structures
54. Lagrangian Coherent Structures
55. Lattice Structures
56. layered structures
57. mesoporous structures
58. nuclear structures
59. Oichnusembedment structures
60. organisational structures
61. oriented structures
62. p-i-n structures
63. porous lattice structures
64. protein structures
65. quantum structures
66. random structures
67. road structures
68. root structures
69. sandwich structures
70. ship structures
71. soft-sediment deformation structures
72. solitonic structures
73. steel structures
74. structures
75. structures and materials
76. Structures below ground
77. submesoscale structures
78. sub-mesoscale structures
79. supramolecular structures
80. thin-walled structures
81. Timber composite structures
82. timber structures
83. tree-like data structures
84. tubular structures
85. virus structures
86. X-ray structures

1. Estonian Summer School on Computer and Systems Science, 2023

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu