Searching - TalTech Research Portal

display

sort

51

book article

Logical consequence in the diagrammatic system of assertive graphs [Online resource]Chiffi, Daniele; Pietarinen, Ahti-VeikkoHandbook of the 6th World Congress and School on Universal Logic2018 / p. 262-263 http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf

book article

52

book article

Loogikaskeemid ja binaardiagrammidBuldas, AhtoAastaraamat 1994 - 1996 / Eesti Matemaatika Selts1999 / lk. 6-11

book article

53

dissertation

Monoidal width = Monoidiline laiusDi Lavore, Elena2023 https://doi.org/10.23658/taltech.55/2023 https://digikogu.taltech.ee/et/Item/e0ea1b50-07ff-44f4-a498-ef5c22a15502 https://www.ester.ee/record=b5645383*est

dissertation

Related publications 3

54

book article EST / book article ENG

A new test suite reduction approach based on hypergraph minimal transversal miningTrabelsi, Shaima; Bennani, Mohamed Taha; Ben Yahia, SadokFuture Data and Security Engineering : 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27–29, 2019, Proceedings2019 / p. 15-30 https://doi.org/10.1007/978-3-030-35653-8_2 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

55

book article

NP-hard graph problems' algorithms testing guidelines : artificial intelligence principles and testing as a serviceKumlander, DenissAdvances in computer and information sciences and engineering2008 / p. 114-118 : ill https://link.springer.com/chapter/10.1007/978-1-4020-8739-4_20

book article

56

book article

NP-hard graph problems' algorithms testing guidlines : artificial intelligence principles and testing as a serviceKumlander, DenissInnovative techniques in instruction technology, e-learning, e-assessment, and education2008 / p. 112-116 https://link.springer.com/chapter/10.1007/978-1-4020-8739-4_20

book article

57

journal article EST / journal article ENG

On linear existential graphsBellucci, Francesco; Liu, Xinwen; Pietarinen, Ahti-VeikkoLogique et Analyse2020 / p. 261 - 296 https://doi.org/10.2143/LEA.251.0.3288641 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

58

journal article EST / journal article ENG

On the logical philosophy of assertive graphsChiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of logic, language and information2020 / 21 p https://doi.org/10.1007/s10849-020-09315-6 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

59

journal article

Peirce and the logic of imagePietarinen, Ahti-VeikkoSemiotica2012 / p. 251-261 https://www.researchgate.net/publication/271417244_Peirce_and_the_logic_of_image

journal article

60

dissertation

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogikaHaydon, Nathan Joseph2024 https://www.ester.ee/record=b5685581*est https://digikogu.taltech.ee/et/Item/f7f55e15-7a58-4e7f-a112-910d6a943f7f https://doi.org/10.23658/taltech.31/2024

dissertation

Related publications 4

61

book article

Permutations and bijectionsVõhandu, Leo; Peder, Ahti; Tombak, MatiInformation modelling and knowledge bases XXIII2012 / p. 419-437 : ill

book article

62

journal article

Problems of optimization : an exact algorithm for finding a maximum clique optimized for dense graphsKumlander, DenissProceedings of the Estonian Academy of Sciences. Physics. Mathematics2005 / 2, p. 79-86

journal article

63

book article

Processing N-ary trees in hardware circuitsSklyarov, Valery; Skliarova, Iouliia; Mihhailov, Dmitri; Sudnitsõn, Aleksander13th International Symposium on Integrated Circuits (ISIC) : Singapore, 12-14 December 2011 : proceedings2011 / p. 262-265 : ill https://ieeexplore.ieee.org/document/6131946

book article

64

journal article EST / journal article ENG

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

65

dissertation

Security protocols analysis in the computational model - dependency flow graphs-based approach = Turvaprotokollide analüüs arvutuslikul mudelil - sõltuvusgraafidel põhinev lähenemisviisTšahhirov, Ilja2008 https://www.ester.ee/record=b2449152*est

dissertation

66

book article

Self-organizing approach to graph vertex colouring in the applications of ad hoc networksKirt, Toomas; Võhandu, LeoProceedings of the 10th WSEAS Conference on Computers : Vouliagmeni, Athens, Greece, July 10-15, 20062006 / ? p https://www.researchgate.net/publication/262353001_Self-organizing_approach_to_graph_vertex_colouring_in_the_applications_of_ad_hoc_networks

book article

67

book article

Some graph problems in timing analysis of the specificationTekko, JaanusProceedings of the 5th Nordic Workshop on Program Correctness, 19941994 / p. 184-193

book article

68

journal article EST / journal article ENG

Some logical notations for pragmatic assertionsCarrara, Massimiliano; Chiffi, Daniele; Pietarinen, Ahti-VeikkoLogique et Analyse2020 / p. 297-315 https://doi.org/10.2143/LEA.251.0.3288642 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

69

journal article

Superpositional graphsPeder, Ahti; Tombak, MatiActa et commentationes Universitatis Tartuensis de mathematica2009 / p. 51-64 : ill

journal article

70

journal article

Synthesis of control automata using graph schemes of algorithmsBaranov, S.; Keevallik, AndresDigital Processes1980 / p. [?]

journal article

71

book article

Test generation for digital systems based on alternative graphsUbar, Raimund-JohannesDependable Computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 1994 : proceedings1994 / p. 151-164: ill

book article

72

book article

Test set minimization using bipartite graphsMarkus, Antti; Raik, Jaan; Ubar, Raimund-JohannesBEC'98 : the 6th Biennial Conference on Electronics and Microsystems Technology, October 7-9, 1998, Tallinn, Estonia : proceedings1998 / p. 175-178: ill

book article

73

journal article

Test synthesis with alternative graphsUbar, Raimund-JohannesIEEE design & test of computers1996 / Spring, p. 48-57: ill

journal article

74

book article

Testide genereerimine loogikalülituste alternatiivsete graafide süsteemi mudeli abilSaarma, G.; Ubar, Raimund-JohannesXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 43 https://www.ester.ee/record=b2449987*est

book article

75

book article EST / book article ENG

The beauty of graphsPietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 9-12 https://doi.org/10.1007/978-3-319-91376-6_2 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

graafid (subject term)

types of item

subject term 2