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
Searching
My bookmarks
0
natural transformations (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced 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
1
Look more..
(1/79)
Export
export all inquiry results
(1)
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
1
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
Number of records 1, displaying
1 - 1
keyword
79
1.
natural transformations
2.
digital transformations
3.
economic transformations
4.
equivalent transformations of SSBDDs
5.
input-output equivalence transformations
6.
linear transformations
7.
matrix transformations
8.
model transformations
9.
organic transformations
10.
social transformations
11.
state and output transformations
12.
structural transformations
13.
transformations
14.
anaerobic digestion, microbial communities, organic fraction municipal solid waste, renewable natural gas, synergy
15.
business income of a natural person
16.
controlled natural language
17.
integrated electricity and natural gas system (IEGS)
18.
local natural materials
19.
Multi-area coordination of integrated electricity and natural gas transmission system
20.
natural
21.
natural alkylresorcinols
22.
natural attenuation
23.
natural background
24.
natural background model
25.
natural boundary conditions at joints
26.
natural capital
27.
natural circulation
28.
natural compounds
29.
natural convection
30.
natural daylight
31.
natural deep eutectic solvents
32.
natural disaster threats
33.
natural disasters
34.
natural environment
35.
natural fluorcarbonateapatite
36.
natural freshwater
37.
natural gas
38.
natural hazard
39.
natural hazards
40.
natural inflation
41.
natural interferences
42.
natural kinds
43.
natural language processing
44.
natural lan-guage processing
45.
natural language processing (NLP)
46.
natural language to database interface
47.
natural language understanding
48.
natural law
49.
natural lighting
50.
Natural logic
51.
Natural materials
52.
natural monopoly
53.
natural paint
54.
Natural pigments
55.
natural products
56.
Natural radioactivity
57.
natural radionuclides
58.
natural remanent magnetization
59.
Natural resource justice
60.
Natural Resource Management
61.
natural resources
62.
natural sciences
63.
natural species
64.
natural tartaric acid
65.
natural tracers
66.
natural variation
67.
natural water
68.
natural waters
69.
natural weathering
70.
natural ventilation
71.
natural ventilation system
72.
Nunavut natural resource development
73.
renewable natural gas
74.
semanting parsing the natural language
75.
semi natural meadows
76.
semi-natural grasslands
77.
semi-natural woodlands
78.
supply routes for natural gas
79.
theory of natural disaster
×
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