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
Otsing
Valitud kirjed
0
linear logic (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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/157)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT 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
157
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 inequalities
33.
linear matrix inequality
34.
linear matrix operators
35.
linear measure
36.
linear mixed models
37.
linear models
38.
linear notations
39.
linear oscillating electromagnetic force
40.
linear parameter-varying systems
41.
linear polyethylene (LPE)
42.
linear programming
43.
linear quadratic regulator
44.
linear regression
45.
Linear singular Volterra equations
46.
linear systems
47.
linear systems theory
48.
linear thermal transmittance
49.
linear transformations
50.
linear waves
51.
Linear-Quadratic-Gaussian (LQG) controller
52.
mixed integer linear programming
53.
mixed integer linear programming (MILP)
54.
mixed-integer linear programming
55.
Multiple Linear Regression
56.
non linear eigenvalues
57.
non-linear
58.
non-linear calculation
59.
non-linear circuit
60.
non-linear equations
61.
non‐linear estimation
62.
non-linear impedance
63.
non-linear internationalization process
64.
non-linear least squares
65.
non-linear mathematics
66.
non-linear models
67.
non-linear regime
68.
non-linear stiffness
69.
nonnegative solution to the system of linear equations
70.
piecewise linear droop control
71.
positive linear operators
72.
pseudo-linear algebra
73.
Random Parameter Linear Regression Model (RPLRM)
74.
Recursive linear algebra
75.
rule-based non-linear optimization
76.
solving linear programming problems
77.
system of linear inequalities
78.
algebra of logic
79.
binary logic controller
80.
Boolean logic
81.
Compound logic locking
82.
Compound logic locking (CLL)
83.
constructive logic
84.
default logic
85.
diagrammatic logic
86.
digital logic
87.
dynamic logic
88.
epistemic logic
89.
ethics and logic
90.
formal logic
91.
fuzzy logic
92.
fuzzy logic
93.
fuzzy logic control
94.
fuzzy logic controller
95.
fuzzy logic controller (FLC)
96.
fuzzy logic model
97.
graphical method of logic
98.
history of logic
99.
Hoare logic
100.
Husserl and Pierce on logic of probability
101.
independence-friendly logic
102.
Inductive logic programming
103.
intuitionistic logic
104.
logic
105.
logic built-in self-test
106.
logic cell library
107.
logic circuit
108.
logic design
109.
logic diagram
110.
logic diagrams
111.
logic education
112.
logic for pragmatics
113.
logic gates
114.
logic in AI
115.
logic in computer science
116.
logic in society
117.
logic level
118.
logic level and high level BDDs
119.
logic locking
120.
logic machine
121.
logic models
122.
logic models and simulation
123.
logic notation
124.
logic obfuscation
125.
logic of bunched implications
126.
logic of relatives
127.
logic of science
128.
logic of speech acts
129.
logic simulation
130.
logic synthesis
131.
logic teaching
132.
logic-based distributed routing
133.
malicious logic
134.
mathematical logic
135.
modal logic
136.
Natural logic
137.
Peirce's existential graphs and transcendental logic
138.
philosophical logic
139.
philosophy of logic
140.
pragmatic logic
141.
probabilistic relational program logic
142.
programmable logic
143.
programmable logic controller (PLC)
144.
quantitative logic
145.
quantum logic
146.
race logic
147.
reconfigurable logic
148.
routing logic
149.
S4 modal logic
150.
S-D logic
151.
Semi-substructural logic
152.
Service-Dominant logic
153.
stateful logic computation
154.
substructural logic
155.
symbolic knowledge in Husserlian pure logic
156.
symbolic logic
157.
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