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

A logic programming perspective on rulesSterling, Leon; Taveter, KuldarHandbook of research on emerging rule-based languages and technologies : open solutions and approaches2009 / p. 195-213 https://www.igi-global.com/chapter/logic-programming-perspective-rules/35860

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, Niccolo21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 / p. 38-39

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, 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

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

Using Incremental Inductive Logic Programming for Learning Spoofing Attacks on Maritime Automatic Identification System DataBenterki, Aboubaker Seddiq; Visky, Gabor; Vain, Jüri; Tsiopoulos, LeonidasMaritime Cybersecurity2025 / p. 123-141 https://doi.org/10.1007/978-3-031-87290-7_7