Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
Select collection
select all
remove selection
annual reports of research & development activities
articles
bachelor's theses
conference proceedings
digitized periodicals
diploma theses
dissertations
history of TalTech
IOP
library publications
master's theses
pre-dissertations
research reports
standards
textbooks and teaching materials
transactions of TalTech
varia
title
author/supervisor/editor
structural unit
keyword
publication year
-
Sort by
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
Index
Tupailo, Sergei - author
find full texts
Apply
items found: 7
1.
A note on completeness of partial deduction
Matskin, Mihhail; Tupailo, Sergei
1995
research reports
2.
Normalization for the first order classical logic with Hilberts epsilon-symbol
Mints, Gregory; Tupailo, Sergei
1992
research reports
3.
Epsilon substitution method for elementary analysis
Mints, Grigori; Tupailo, Sergei
1993
research reports
4.
Computer logic overview of research activities in 1992
Tammet, Tanel; Mints, Grigori; Tupailo, Sergei
1992
research reports
5.
On a proof-theoretical analysis of sigma_1^1 - AC, sigma_1 ^1 - DC and delta_1^ - CA
Tupailo, Sergei
1993
research reports
6.
General methods in inductive program synthesis
Tupailo, Sergei
1996
research reports
7.
Normalization for arithmetical comprehension with restricted occurrences of Hilberts epsilon symbol
Tupailo, Sergei
1992
research reports
items found: 7
1