Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Mathematical structures in computer science (source)

—

—

—

—

Add criteria Advanced 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 4
Look more.. (2/84)
Export

export all inquiry results (4)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

journal article EST / journal article ENG

Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; 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
2

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
3

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
4

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 4, displaying 1 - 4

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. helical structures
48. hierarchical structures
49. highly insulated structures
50. historic structures
51. hydraulic structures
52. IIR tapped lattice and DF-II filter structures
53. Lagrangian Coherent Structures
54. Lattice Structures
55. layered structures
56. mesoporous structures
57. nuclear structures
58. Oichnusembedment structures
59. organisational structures
60. oriented structures
61. p-i-n structures
62. porous lattice structures
63. protein structures
64. quantum structures
65. random structures
66. road structures
67. root structures
68. sandwich structures
69. soft-sediment deformation structures
70. solitonic structures
71. steel structures
72. structures
73. structures and materials
74. Structures below ground
75. submesoscale structures
76. sub-mesoscale structures
77. supramolecular structures
78. thin-walled structures
79. Timber composite structures
80. timber structures
81. tree-like data structures
82. tubular structures
83. 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