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
Markov's principle (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/45)
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
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
44
1.
Markov's principle
2.
Continuous Time Markov Chain
3.
Gaussian Markov random field
4.
Gaussian markov random fields
5.
Hidden Markov Model (HMM)
6.
Markov chain
7.
Markov chain process
8.
Markov model
9.
Markov models
10.
Markov processes
11.
Markov switching
12.
Markov switching SVAR
13.
Markov table
14.
Markov-Switching heteroscedasticity
15.
Markov-switching model
16.
banking principle
17.
Coherence principle
18.
Conservativity principle
19.
cooperative principle
20.
distinguishability principle
21.
fair competition principle
22.
free energy principle
23.
Free-energy principle
24.
functional equivalence principle
25.
guiding principle
26.
leading principle
27.
maximum principle
28.
minimum principle
29.
Once-only principle
30.
Once-Only Principle (OOP)
31.
once-only principle project
32.
once-only principle project (TOOP)
33.
polluter pays principle
34.
Pontryagin’s minimum principle
35.
Pontryagin's minimum principle
36.
positivity principle
37.
principle of effectiveness
38.
principle of indifference
39.
principle of orthogonal design
40.
principle of solidarity
41.
principle of technology neutrality
42.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
43.
TTSP principle
44.
3R Principle
author
1
1.
Markov, S.
×
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