Searching - TalTech Research Portal

display

sort

1

journal article EST / journal article ENG

Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill https://doi.org/10.1016/j.jlamp.2016.07.001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

2

book article

Besicovitch pseudodistances with respect to non-Følner sequencesCapobianco, Silvio; Guillon, Pierre; Nous, CamilleHAL archives2020 / hal-02566187, 15 p https://hal.archives-ouvertes.fr/hal-02566187

book article

3

journal article EST / journal article ENG

Besicovitch pseudodistances with respect to non-følner sequencesCapobianco, Silvio; Guillon, PierreComplex Systems2021 / p. 133 - 158 https://doi.org/10.25088/COMPLEXSYSTEMS.30.2.133 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOs

journal article EST / journal article ENG

4

book article EST / book article ENG

Beta assertive graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 525-529 https://doi.org/10.1007/978-3-030-54249-8_49 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

5

journal article EST / journal article ENG

Beta assertive graphs : proofs of assertions with quantificationBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied logics : IfCoLog journal of logics and their applications2021 / 23 p. : ill https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

6

book article EST / book article ENG

A Characterization of Amenable Groups by Besicovitch PseudodistancesCapobianco, Silvio; Guillon, PierreCellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings2020 / p. 99-110 https://doi.org/10.1007/978-3-030-61588-8_8 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

7

journal article

COLOG-88Lorents, PeeterArvutustehnika ja Andmetöötlus : A&A1989 / lk. 36-37 https://www.ester.ee/record=b1071940*est

journal article

8

journal article

Completeness of resolution for definite answersTammet, TanelJournal of logic and computation1995 / 4, p. 449-471

journal article

9

journal article

Counting with AliceMoktefi, AmiroucheRIPEM: International Journal for Research in Mathematics Education Literature and Mathematics: possible interrelationships2020 / p.58-68 https://doi.org/10.37001/ripem.v10i2.2173

journal article

10

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

11

journal article

Did Lewis Carroll own a copy of George Boole's Laws of thought? An argument from the sale cataloguesMoktefi, AmiroucheBSHM bulletin : journal of the British Society for the History of Mathematics2018 / p. 21-28 : ill https://doi.org/10.1080/17498430.2017.1384200

journal article

12

journal article

Extending automated deduction for commonsense reasoningTammet, TanelarXiv.org2020 / p. 1-19 https://arxiv.org/pdf/2003.13159.pdf https://arxiv.org/abs/2003.13159

journal article

13

journal article

Fekete's lemma for componentwise subadditive functions of two or more real variablesCapobianco, SilvioarXiv.org2019 / 20 p. : ill https://arxiv.org/abs/1904.10507

journal article

14

book article EST / book article ENG

First order logic and commonsense reasoning : a path less travelledTammet, Tanel; Draheim, Dirk; Järv, Priit; Verrev, MartinICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 20222022 / art. 182197 https://ceur-ws.org/Vol-3193/short5GDE.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

15

book article

ForewordPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 1: The Logical Tracts2021 / p. XV-XVII https://doi.org/10.1515/9783110651423-205

book article

16

book article

ForewordPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Volume 1. History and applications2020 / p. XV-XVI https://www.degruyter.com/downloadpdf/book/9783110651409/10.1515/9783110651409-204.xml https://doi.org/10.1515/9783110651409-204

book article

17

book article EST / book article ENG

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

18

journal article EST / journal article ENG

GC and other methods for full and partial context coverageRaun, Kristo; Torim, Ants; Ben Yahia, SadokProcedia computer science2021 / p. 746−755 https://doi.org/10.1016/j.procs.2021.08.077 Conference proceeding at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

19

book article

General Introduction to Logic of the FuturePietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Volume 1. History and applications2020 / p. 1-13 https://doi.org/10.1515/9783110651409-001

book article

20

book

Hulgateooria ja loogika elemente : põhimõisted ja ülesandedMonakov, Aleksander; Normak, P.; Levin, Aleksander1986 https://www.ester.ee/record=b1224422*est

book

21

journal article EST / journal article ENG

Icons, interrogations, and graphs: On Peirce's integrated notion of abductionPietarinen, Ahti-Veikko; Bellucci, FrancescoTransactions of the Charles S. Peirce Society2020 / p. 43-61 https://doi.org/10.2979/trancharpeirsoc.56.1.03 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

22

book article

Introduction to the Theory of Existential Graphs and Volume 1Pietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Volume 1. History and applications2020 / p. 14-36 https://doi.org/10.1515/9783110651409-002

book article

23

book article

Introduction to the Theory of Existential Graphs, Volumes 2/1 and 2/2Pietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 1: The Logical Tracts2021 / p. 15-68 https://doi.org/10.1515/9783110651423-002

book article

24

book article

Introduction to the Theory of Existential Graphs, Volumes 2/1 and 2/2Pietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 15-28 https://doi.org/10.1515/9783110740462-002

book article

25

book article

Introduction to Volume 2/1: The Logical TractsPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 69-100 https://doi.org/10.1515/9783110651423-003

book article

matemaatiline loogika (subject term)

types of item

subject term 18

keyword 1