Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

Logical methods 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 12
Look more.. (2/22)
Export

export all inquiry results (12)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

journal article EST / journal article ENG

Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
2

journal article

Coinductive streams in monoidal categoriesDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, MarioLogical methods in computer science2025 / p. 18:1–18:52 : ill https://doi.org//10.46298/LMCS-21(3:18)2025

journal article
3

journal article EST / journal article ENG

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Related publications 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
4

journal article EST / journal article ENG

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics 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

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 https://doi.org/10.2168/LMCS-11(1:1)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
6

journal article EST / journal article ENG

Monads need not be endofunctorsAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoLogical methods in computer science2015 / p. 1-40 https://doi.org/10.2168/LMCS-11(1:3)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
7

journal article EST / journal article ENG

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Related publications 1
- Monoidal width = Monoidiline laius
8

journal article

On streams that are finitely redBezem, Marc; Nakata, Keiko; Uustalu, TarmoLogical methods in computer science2012 / p. 1-20 https://www.researchgate.net/publication/231582269_On_streams_that_are_finitely_red

journal article
9

journal article EST / journal article ENG

Rule algebras for adhesive categoriesBehr, Nicolas; Sobocinski, Pawel MariaLogical methods in computer science2020 / p. 2:1−2:38 https://doi.org/10.23638/LMCS-16(3:2)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
10

journal article

String diagrams for premonoidal categoriesRoman Garcia, Mario; Sobocinski, Pawel MariaLogical methods in computer science2025 / p. 9:1–9:20 : ill https://lmcs.episciences.org/15593/pdf https://doi.org/10.46298/LMCS-21(2:9)2025

journal article
11

journal article EST / journal article ENG

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theoryMannaa, Bassel; Mogelberg, Rasmus Ejlers; Veltri, NiccoloLogical Methods in Computer Science2020 / p. 17:1 - 17:31 https://doi.org/10.23638/LMCS-16(4:17)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
12

journal article EST / journal article ENG

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill https://doi.org/10.2168/LMCS-10(3:14)2014 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Number of records 12, displaying 1 - 12

1. computer aided methods
2. computer vision-based methods
3. computer science
4. computer science basics
5. computer science education
6. logic in computer science
7. classical vs. non-classical logical graphs
8. logical analysis
9. logical construction and phenomenological reduction
10. logical critics
11. logical de-rating
12. logical distances
13. logical form
14. logical graphs
15. logical node
16. Logical notations
17. logical octagon
18. logical opposition
19. logical reasoning
20. logical relations
21. logical schema

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