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
Uustalu, Tarmo - author
find full texts
Apply
items found: 4
1.
A model-theoretic study of the calculus for systems description
Tekko, Jaanus; Uustalu, Tarmo; Lorents, Peeter
1990
research reports
2.
Combining object-oriented and logic paradigms: A modal logic programming approach
Uustalu, Tarmo
1991
research reports
3.
A modal justification for structural synthesis of NUT
Uustalu, Tarmo
1995
research reports
4.
A realizability semantics for the calculus of partial inductive definitions
Uustalu, Tarmo
1990
research reports
items found: 4
1