Algebraic foundations of belief systemsHenno, JaakData processing, compiler writing, problems of programming1989 / p. 33-43

Calling paradigms and the box calculusSanto, Jose Espırito; Pinto, Luis; Uustalu, TarmoEUTYPES-TYPES 2020 : Abstracts2020 / 2 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf

Constraints in NUTPenjam, Jaan; Tõugu, EnnConstraint programming. NATO ASI series F: vol. 131, Computer and systemssciences1994 / p. 330-349

A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261

GK : Implementing full first order default logic for commonsense reasoning (system description)Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings2022 / p. 300-309 https://doi.org/10.1007/978-3-031-10769-6_18 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 https://doi.org/10.2168/LMCS-11(1:1)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Integration of digital twins into virtual commissioning practicesGuerra Zubiaga, David; Richards, Gersom; Forsberg, Paul; Nwachukwu, Kingsley; Burroughs, Andrew; Sabula, Eric; Kuts, VladimirASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE) ; vol. 22024 / art. IMECE2024-145598, V002T03A076 ; 9 p https://doi.org/10.1115/IMECE2024-145598

Logic programmingTepandi, JaakConcise encyclopedia of software engineering1993 / p. 194-195

Logic programmingTepandi, JaakSystems & control encyclopedia. Supplementary volume 21992 / p. 817-818

Logic programming, parallelTepandi, JaakConcise encyclopedia of software engineering1993 / p. 195-196

Monads need not be endofunctorsAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoLogical methods in computer science2015 / p. 1-40 https://doi.org/10.2168/LMCS-11(1:3)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Programmeerimine ja PROLOGHenno, JaakInfotehnoloogia ja täppismajandusteadus = Infotechnology and exact economics = Инфотехнология и точная экономическая наука : vabariikliku teaduslik-praktilise seminari (Tallinn, 3. september 1988.a.) teeside kogumik. 11988 / lk. 132-138 https://www.ester.ee/record=b1249848*est

Programming language implementation and logic programming : 5th Intern. Symposium PLILP '93, Tallinn, August 25-27, 1993 : proceedingsBruynooghe, Maurice; Penjam, Jaan1993 https://www.ester.ee/record=b1036491*est

Prolog ja Olümpose jumaladHenno, Jaak2004 https://www.ester.ee/record=b1980187*est

Prolog ja Olümpose jumaladHenno, JaakArvutustehnika ja Andmetöötlus1988 / lk. [5]-12 : ill https://www.ester.ee/record=b1071940*est

Prolog ja Olympoksen jumalatHenno, Jaak1992 https://www.ester.ee/record=b1019003*est

Propositional logic for program synthesisKotkas, VahurTenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 20052005 / [1 p.]. (Student talks and posters 2005 (abstracts))

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccolòTheoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings2015 / p. 110 - 125 https://doi.org/10.1007/978-3-319-25150-9_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloMathematical structures in computer science2019 / p. 67-92 https://doi.org/10.1017/s0960129517000184 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, Niccolo21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 / p. 38-39

Structural synthesis of programs with preconditionsKotkas, VahurProceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 20052005 / p. 70-81 : ill

21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]2018 http://doi.org/10.4230/lipics.types.2015.0 http://www.dagstuhl.de/dagpub/978-3-95977-030-9

21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 http://www.ester.ee/record=b4473137*est