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
Journal of logic and computation (source)
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
4
Look more..
(1/96)
Export
export all inquiry results
(4)
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
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
Veltri, Niccolo
Journal of logic and computation
2024
/
art. exae059, 26 p
https://doi.org/10.1093/logcom/exae059
journal article
2
journal article
Completeness of resolution for definite answers
Tammet, Tanel
Journal of logic and computation
1995
/
4, p. 449-471
journal article
3
journal article
Optimized encodings of fragments of type theory in first-order logic
Tammet, Tanel
;
Smith, Jan M.
Journal of logic and computation
1998
/
6, p. 713-744
https://www.cse.chalmers.se/~smith/autolncs.pdf
journal article
4
journal article EST
/
journal article ENG
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 4, displaying
1 - 4
keyword
96
1.
stateful logic computation
2.
logic and philosophy of logic
3.
computation
4.
computation cost
5.
Computation offloading
6.
computation resource allocation
7.
computation theory
8.
effectful computation
9.
evolutionary computation
10.
feature space for taxonomy of models of interactive computation
11.
in-sensor computation
12.
Models of computation
13.
multiparty computation
14.
parallel and pipeline computation
15.
reversible computation
16.
symbolic computation
17.
Theory of computation
18.
algebra of logic
19.
binary logic controller
20.
Boolean logic
21.
Compound logic locking
22.
Compound logic locking (CLL)
23.
constructive logic
24.
default logic
25.
diagrammatic logic
26.
digital logic
27.
dynamic logic
28.
epistemic logic
29.
ethics and logic
30.
formal logic
31.
fuzzy logic
32.
fuzzy logic
33.
fuzzy logic control
34.
fuzzy logic controller
35.
fuzzy logic controller (FLC)
36.
fuzzy logic model
37.
graphical method of logic
38.
history of logic
39.
Hoare logic
40.
Husserl and Pierce on logic of probability
41.
independence-friendly logic
42.
Inductive logic programming
43.
intuitionistic logic
44.
linear logic
45.
logic
46.
logic built-in self-test
47.
logic cell library
48.
logic circuit
49.
logic design
50.
logic diagram
51.
logic diagrams
52.
logic education
53.
logic for pragmatics
54.
logic gates
55.
logic in computer science
56.
logic in society
57.
logic level
58.
logic level and high level BDDs
59.
logic locking
60.
logic machine
61.
logic models
62.
logic models and simulation
63.
logic notation
64.
logic obfuscation
65.
logic of bunched implications
66.
logic of relatives
67.
logic of science
68.
logic of speech acts
69.
logic simulation
70.
logic synthesis
71.
logic teaching
72.
logic-based distributed routing
73.
malicious logic
74.
mathematical logic
75.
modal logic
76.
Natural logic
77.
Peirce's existential graphs and transcendental logic
78.
philosophical logic
79.
philosophy of logic
80.
pragmatic logic
81.
probabilistic relational program logic
82.
programmable logic
83.
programmable logic controller (PLC)
84.
quantitative logic
85.
quantum logic
86.
race logic
87.
reconfigurable logic
88.
routing logic
89.
S4 modal logic
90.
S-D logic
91.
Semi-substructural logic
92.
Service-Dominant logic
93.
substructural logic
94.
symbolic knowledge in Husserlian pure logic
95.
symbolic logic
96.
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