Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
Open Publishing Association (publisher)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
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..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
31
Look more..
(2/89)
Export
export all inquiry results
(31)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
26
book article EST
/
book article ENG
Proof theory of skew non-commutative MILL
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
2022
/
p. 118-135
https://doi.org/10.4204/EPTCS.358.9
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
27
book article EST
/
book article ENG
Semi-Substructural Logics à la Lambek
Wan, Cheng-Syuan
Proceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)
2024
/
p. 195–213
https://doi.org/10.4204/EPTCS.415.18
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
28
book article EST
/
book article ENG
Semi-substructural logics with additives
Veltri, Niccolo
;
Wan, Cheng-Syuan
Proceedings of the 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 2023
2024
/
p. 63-80
https://doi.org/10.4204/EPTCS.402.8
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
29
book article
Structured general corecursion and coinductive graphs [extended abstract]
Uustalu, Tarmo
EPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 2012
2012
/
p. 55-61
https://arxiv.org/abs/1202.3502
book article
30
book article EST
/
book article ENG
Variations on Noetherianness
Firsov, Denis
;
Uustalu, Tarmo
;
Veltri, Niccolo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 76-88 : ill
https://doi.org/10.4204/eptcs.207.4
Journal metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
31
book article EST
/
book article ENG
What makes a strong monad?
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming
2022
/
p. 113-133
https://doi.org/10.4204/EPTCS.360.6
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 31, displaying
26 - 31
previous
1
2
next
keyword
81
1.
data publishing
2.
FMI open data
3.
fractional open circuit voltage
4.
inventory of open stacks
5.
linked open data
6.
linked open statistical data
7.
linked open statistics
8.
open architecture for information exchange
9.
open architecture model
10.
open cast
11.
open circuit fault
12.
open circuit protection
13.
open cloud ecosystem
14.
open cooperativism
15.
open data
16.
open data ecosystem
17.
open data format
18.
open data policies
19.
open design
20.
open education
21.
open educational resources
22.
Open Estonia Foundation
23.
open games
24.
open geospatial consortium
25.
open government data
26.
open government data (OGD)
27.
open graphs
28.
open habitat
29.
open hardware
30.
open induction
31.
open innovation
32.
Open Learning Resources (OLR)
33.
open loop control
34.
open notes
35.
Open Ocean
36.
open office
37.
open online courses
38.
open optical networking
39.
open plan office
40.
open pour concrete casting
41.
open retail electricity market
42.
open ring substrate
43.
open self‐ventilated machines
44.
Open Skies agreement
45.
open society
46.
open source
47.
open source hardware
48.
open source intelligence
49.
Open Source Intelligence (OSINT)
50.
open source intelligence tools
51.
open source software
52.
open source-based innovation
53.
open transitions
54.
open value network
55.
open voting
56.
open-data
57.
open-data platform
58.
open-economy dynamic general equilibrium model
59.
open-loop stability
60.
open-source
61.
open-source components
62.
open-source hardware
63.
open-source technologies
64.
OSV (open self‐ventilated) machines
65.
TOGAF (The Open Group Architecture Framework)
66.
topographic access to open stacks
67.
ASEAN (Association of Southeast Asian Nations)
68.
association
69.
association of local-self government
70.
association of local-self governments
71.
association of undertakings
72.
association rule
73.
association rule mining
74.
association rules
75.
European-African Hepato-Pancreato-Biliary Association (E-AHPBA)
76.
EU-Ukraine association agreement
77.
genome-wide association study (GWAS)
78.
numerical association rule mining
79.
quantitative association rule mining
80.
statine-fenofibrate association
81.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
subject term
8
1.
AI powered Data Curation & Publishing Virtual Assistant (AIDAVA)
2.
Baltic Open
3.
EuroScience Open Forum
4.
Nõmme Open
5.
Open Multilingual Wordnet
6.
Estonian Cleantech Association
7.
European Logistics Association
8.
International Association for Management Development in Dynamic Societies
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT