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/157)
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
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
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
×
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