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
open induction (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..
(2/88)
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
book article EST
/
book article ENG
A direct version of Veldman's proof of open induction on cantor space via delimited control operators
Ilik, Danko
;
Nakata, Keiko
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France
2014
/
p. 188-201
https://doi.org/10.4230/LIPIcs.TYPES.2013.188
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
84
1.
open induction
2.
asymmetric induction
3.
backward-induction
4.
centrifugal induction casting
5.
core-less induction furnace
6.
Doubly fed induction generator
7.
induction
8.
induction brazing
9.
induction generator
10.
induction machine
11.
induction machines
12.
induction motor
13.
induction motors
14.
induction sensors
15.
inverter-fed induction motor
16.
linear induction motor
17.
magnetic induction
18.
Magnetic induction monitoring
19.
magnetic induction sensing
20.
magnetic induction sensor
21.
single-phase induction motor
22.
six-phase induction motor
23.
six-phase induction motor (6PIM)
24.
FMI open data
25.
fractional open circuit voltage
26.
inventory of open stacks
27.
linked open data
28.
linked open statistical data
29.
linked open statistics
30.
open architecture for information exchange
31.
open architecture model
32.
open cast
33.
open circuit fault
34.
open circuit protection
35.
open cloud ecosystem
36.
open cooperativism
37.
open data
38.
open data ecosystem
39.
open data format
40.
open data policies
41.
open design
42.
open education
43.
open educational resources
44.
Open Estonia Foundation
45.
open games
46.
open geospatial consortium
47.
open government data
48.
open government data (OGD)
49.
open graphs
50.
open habitat
51.
open hardware
52.
open innovation
53.
Open Learning Resources (OLR)
54.
open notes
55.
open office
56.
open online courses
57.
open optical networking
58.
open plan office
59.
open pour concrete casting
60.
open retail electricity market
61.
open ring substrate
62.
open self‐ventilated machines
63.
Open Skies agreement
64.
open society
65.
open source
66.
open source hardware
67.
open source intelligence
68.
Open Source Intelligence (OSINT)
69.
open source intelligence tools
70.
open source software
71.
open source-based innovation
72.
open transitions
73.
open value network
74.
open voting
75.
open-data
76.
open-economy dynamic general equilibrium model
77.
open-loop stability
78.
open-source
79.
open-source components
80.
open-source hardware
81.
open-source technologies
82.
OSV (open self‐ventilated) machines
83.
TOGAF (The Open Group Architecture Framework)
84.
topographic access to open stacks
subject term
4
1.
Baltic Open
2.
EuroScience Open Forum
3.
Nõmme Open
4.
Open Multilingual Wordnet
×
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