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 publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 4
Look more.. (2/75)
Export

export all inquiry results (4)
Save TXT fail

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

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

vaste

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu