Searching - TalTech Research Portal

display

sort

1

journal article EST / journal article ENG

Abduction and diagramsPietarinen, Ahti-VeikkoLogic journal of the IGPL2020 / p. 447-468 https://doi.org/10.1093/jigpal/jzz034 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

Acyclicity conditions on pasting diagramsHadzihasanovic, Amar; Kessler, DianaApplied Categorical Structures2024 / art. 31 https://doi.org/10.1007/s10485-024-09784-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

3

book article

Aeg-vajumise graafikute ekstrapoleerimisestJaaniso, ValdoEhitusgeoloogia kogumik. II1967 / lk. 129-137 : joon https://www.ester.ee/record=b1181493*est

book article

4

book article

Aine- ja nimeloendArvjoonised / Uno Mereste, Maimu Saarepera1983 / lk. 242-247 https://www.ester.ee/record=b1255189*est

book article

5

book article

Are graphs in annual reports of banks used for impression management purposes? [Electronic resource]Laidroo, Laivi7th International conference "Economic challenges in enlarged Europe" : 14-16 June 2015, Tallinn, Estonia : [conference proceedings]2015 / p. 1-35. [CD-ROM] http://www.ester.ee/record=b3088567*est

book article

6

book

ArvjoonisedMereste, Uno; Saarepera, Maimu1983 https://www.ester.ee/record=b1255189*est

book

7

book

Arvjoonised : õppevahendAarma, August2006 http://www.ester.ee/record=b1969130*est

book

8

book

Arvjoonised : õppevahendAarma, August2004 https://www.ester.ee/record=b1969130*est

book

9

book

Arvjoonised : õppevahendAarma, August2010 http://www.ester.ee/record=b1969130*est

book

10

book

Asünkroon mootori diagramm192-? https://www.ester.ee/record=b1743429*est

book

11

book article

Back-tracing and event-driven techniques in high-level simulation with decision diagramsUbar, Raimund-Johannes; Raik, Jaan; Morawiec, AdamISCAS 2000 Geneva : The 2000 IEEE International Symposium on Circuits and Systems : Emerging Technologies for the 21st Century : May 28-31, 2000 : proceedings. Vol. 12000 / p. I-208 - I-211 https://ieeexplore.ieee.org/document/857064

book article

12

journal article

Bifurcation diagram of the driven asymmetric van der Pol equationKongas, Olav; Engelbrecht, JüriEesti Teaduste Akadeemia Toimetised. Füüsika. Matemaatika1994 / 2, lk. 123-126: ill https://artiklid.elnet.ee/record=b2301015*est

journal article

13

book article EST / book article ENG

Carroll diagrams : design and manipulationMoktefi, AmiroucheDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 32-35 : ill https://doi.org/10.1007/978-3-319-91376-6_7 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

14

book article EST / book article ENG

Compositional diagrammatic first-order logicHaydon, Nathan Joseph; Sobocinski, Pawel MariaDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 402-418 https://doi.org/10.1007/978-3-030-54249-8_32 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

Related publications 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

15

book article EST / book article ENG

Contextual equivalence for signal flow graphsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioFoundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings2020 / p. 77-96 https://doi.org/10.1007/978-3-030-45231-5_5 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

16

book article EST / book article ENG

Continuity, connectivity and regularity in spatial diagrams for N termsMoktefi, Amirouche; Bellucci, Francesco; Pietarinen, Ahti-VeikkoDLAC 2013 : Diagrams, Logic and Cognition : proceedings of the First International Workshop on Diagrams, Logic and Cognition : Kolkata, India, October 28-29, 20132013 / p. 31-35 : ill https://ceur-ws.org/Vol-1132/paper5.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

17

book article EST / book article ENG

Data structures for topologically sound higher-dimensional diagram rewritingHadzihasanovic, Amar; Kessler, Diana5th International Conference on Applied Category Theory, ACT 2022, Hybrid, Glasgow, 18-22 July 20222023 / p. 111-127 : ill https://doi.org/10.4204/EPTCS.380.7 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

18

book

Diagramm ja kommentaar : näidiseid diagrammide koostamiseks ja kommenteerimiseks1982 https://www.ester.ee/record=b1223701*est

book

19

book article

Diagrammatic algebra of first order logicBonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaLICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science2024 / art. 16, p. 1-15 : ill https://doi.org/10.1145/3661814.3662078

book article

Related publications 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

20

journal article

Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055

journal article

21

book article EST / book article ENG

Diagrammatic autarchy : linear diagrams in the 17th and 18th centuriesBellucci, Francesco; Moktefi, Amirouche; Pietarinen, Ahti-VeikkoDLAC 2013 : Diagrams, Logic and Cognition : proceedings of the First International Workshop on Diagrams, Logic and Cognition : Kolkata, India, October 28-29, 20132013 / p. 26-30 : ill https://www.researchgate.net/publication/280098290_Diagrammatic_Autarchy_Linear_diagrams_in_the_17th_and_18th_centuries Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

22

book article

Diagrammatic reasoning : the end of scepticism? [Online resource]Moktefi, AmiroucheCommunication – Culture – Consciousness : 8th Budapest Visual Leaning Conference : abstracts2018 / p. 48-49 http://www.vll.bme.hu/wp-content/uploads/2018/04/VLC8_abstracts_booklet.pdf

book article

23

book

Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings2018 https://doi.org/10.1007/978-3-319-91376-6

book

24

book

Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 https://doi.org/10.1007/978-3-030-54249-8

book

25

journal article

Diagrammatikus érvelés - a kétkedés vége? = Diagrammatic Reasoning : The End of Scepticism?Moktefi, AmiroucheMagyar Tudomany2019 / p. 970–978 http://dx.doi.org/10.1556/2065.180.2019.7.4

journal article

diagrammid (subject term)

types of item

subject term 1