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
linear logic (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/154)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF 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
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
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
×
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