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/73)
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. conjoined structures
29. decision structures
30. disordered and β-structures
31. drying of structures
32. Elongated submesoscale structures - stripes
33. endolymphatic structures
34. environmental impact of marine structures
35. existing structures
36. fibre concrete structures
37. fire resistance of timber structures
38. floating structures
39. helical structures
40. hierarchical structures
41. highly insulated structures
42. historic structures
43. hydraulic structures
44. IIR tapped lattice and DF-II filter structures
45. Lagrangian Coherent Structures
46. Lattice Structures
47. layered structures
48. mesoporous structures
49. nuclear structures
50. Oichnusembedment structures
51. organisational structures
52. p-i-n structures
53. protein structures
54. quantum structures
55. road structures
56. root structures
57. sandwich structures
58. soft-sediment deformation structures
59. solitonic structures
60. steel structures
61. structures
62. structures and materials
63. Structures below ground
64. submesoscale structures
65. sub-mesoscale structures
66. supramolecular structures
67. thin-walled structures
68. Timber composite structures
69. timber structures
70. tree-like data structures
71. tubular structures
72. 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