Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
linear logic (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/154)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
154
1.
linear logic
2.
linear-time logics
3.
logic and philosophy of logic
4.
bounded linear operator
5.
continuous time linear switched systems
6.
degenerate and infeasible linear programming problems
7.
electron linear accelerator
8.
graphical linear algebra
9.
hyper-branched linear low density PE
10.
initial solution to the linear programming problem
11.
integer linear programming
12.
integer linear programming (ILP)
13.
linear
14.
linear accelerator
15.
linear accelerators
16.
linear and nonlinear unsupervised methods
17.
linear belt
18.
linear control system
19.
linear Delta robot
20.
linear Delta robots neural network based model
21.
linear diagram
22.
linear diagrams
23.
linear discrete-time systems
24.
linear dynamic equation
25.
linear free energy (LFE) relationships
26.
linear heat density
27.
linear induction motor
28.
linear inequalities
29.
linear integer programming
30.
linear least squares
31.
Linear low-density polyethylene
32.
linear matrix inequality
33.
linear matrix operators
34.
linear measure
35.
linear mixed models
36.
linear models
37.
linear notations
38.
linear oscillating electromagnetic force
39.
linear parameter-varying systems
40.
linear polyethylene (LPE)
41.
linear programming
42.
linear quadratic regulator
43.
linear regression
44.
Linear singular Volterra equations
45.
linear systems
46.
linear systems theory
47.
linear thermal transmittance
48.
linear waves
49.
Linear-Quadratic-Gaussian (LQG) controller
50.
mixed integer linear programming
51.
mixed integer linear programming (MILP)
52.
mixed-integer linear programming
53.
Multiple Linear Regression
54.
non linear eigenvalues
55.
non-linear
56.
non-linear calculation
57.
non-linear circuit
58.
non-linear equations
59.
non‐linear estimation
60.
non-linear impedance
61.
non-linear internationalization process
62.
non-linear least squares
63.
non-linear mathematics
64.
non-linear models
65.
non-linear regime
66.
non-linear stiffness
67.
nonnegative solution to the system of linear equations
68.
piecewise linear droop control
69.
positive linear operators
70.
pseudo-linear algebra
71.
Random Parameter Linear Regression Model (RPLRM)
72.
Recursive linear algebra
73.
rule-based non-linear optimization
74.
solving linear programming problems
75.
system of linear inequalities
76.
algebra of logic
77.
binary logic controller
78.
Boolean logic
79.
Compound logic locking
80.
Compound logic locking (CLL)
81.
constructive logic
82.
default logic
83.
diagrammatic logic
84.
digital logic
85.
dynamic logic
86.
epistemic logic
87.
ethics and logic
88.
formal logic
89.
fuzzy logic
90.
fuzzy logic
91.
fuzzy logic control
92.
fuzzy logic controller
93.
fuzzy logic controller (FLC)
94.
fuzzy logic model
95.
graphical method of logic
96.
history of logic
97.
Hoare logic
98.
Husserl and Pierce on logic of probability
99.
independence-friendly logic
100.
Inductive logic programming
101.
intuitionistic logic
102.
logic
103.
logic built-in self-test
104.
logic cell library
105.
logic circuit
106.
logic design
107.
logic diagram
108.
logic diagrams
109.
logic education
110.
logic for pragmatics
111.
logic gates
112.
logic in computer science
113.
logic in society
114.
logic level
115.
logic level and high level BDDs
116.
logic locking
117.
logic machine
118.
logic models
119.
logic models and simulation
120.
logic notation
121.
logic obfuscation
122.
logic of bunched implications
123.
logic of relatives
124.
logic of science
125.
logic of speech acts
126.
logic simulation
127.
logic synthesis
128.
logic teaching
129.
logic-based distributed routing
130.
malicious logic
131.
mathematical logic
132.
modal logic
133.
Natural logic
134.
Peirce's existential graphs and transcendental logic
135.
philosophical logic
136.
philosophy of logic
137.
pragmatic logic
138.
probabilistic relational program logic
139.
programmable logic
140.
programmable logic controller (PLC)
141.
quantitative logic
142.
quantum logic
143.
race logic
144.
reconfigurable logic
145.
routing logic
146.
S4 modal logic
147.
S-D logic
148.
Semi-substructural logic
149.
Service-Dominant logic
150.
stateful logic computation
151.
substructural logic
152.
symbolic knowledge in Husserlian pure logic
153.
symbolic logic
154.
temporal logic
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT