A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
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
] 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