Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas

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

artikkel ajakirjas

2

artikkel kogumikus

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

artikkel kogumikus

3

artikkel kogumikus

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

artikkel kogumikus

4

artikkel kogumikus

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

artikkel kogumikus

5

artikkel kogumikus

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

artikkel kogumikus

6

artikkel kogumikus

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

artikkel kogumikus

7

artikkel kogumikus

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

artikkel kogumikus

8

artikkel ajakirjas

Monads need not be endofunctorsAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoLogical methods in computer science2015 / p. 1-40 http://dx.doi.org/10.2168/LMCS-11(1:3)2015

artikkel ajakirjas

9

artikkel kogumikus

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

artikkel kogumikus

10

raamat

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

raamat

11

raamat

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

raamat

12

artikkel ajakirjas

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

artikkel ajakirjas

13

raamat

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

raamat

14

artikkel kogumikus

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

artikkel kogumikus

15

artikkel ajakirjas

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloMathematical structures in computer science2017 / p. 67-92 http://doi.org/10.1017/s0960129517000184

artikkel ajakirjas

16

raamat

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

raamat

17

raamat

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

raamat

loogiline programmeerimine (märksõna)

teaviku laadid