Filters








2 Hits in 7.9 sec

TALLINNA TEHNIKAÜLIKOOLI PUBLIKATSIOONID 2016

Tallinna Raamatukogu
unpublished
A coalgebraic view of bar recursion and bar induction // Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences  ...  Held as Part of STAF 2016 co-located with Software Technologies : Applications and Foundations (STAF 2016) : Vienna, Austria, July 4-7, 2016.  ... 
fatcat:o6jk6jfy5vghxdlshtty2qccve

Annual Report 2017
国立情報学研究所 平成29年度(2017年度)年報

] 4) The 26th International Joint Conference on Artificial Intelligence (IJCAI-17) [Member of Senior Program Committee] 5) The 14th European Conference on Symbolic and Quantitative Approaches to Reasoning  ...  Conference, DAPI 2017, Held as Part of HCI International 2017, pp.219-234 (2017.07) 6) Takaya Kawakatsu, Akira Kakitani, Kenro Aihara, Atsuhiro Takasu, Jun Adachi: "Traffic Surveillance System for Bridge  ... 
doi:10.20736/0000001218 fatcat:fybrqh7tifb3liogikv27kztca