Publication

Kawamura A.  2015.  Computational complexity of real functions. German-Japanese Workshop on Theory and Practice of Real Computation.

Spreen D, Tsuiki H.  2015.  Computing with Compact Sets - the Gray Code Case. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.

Ogawa M.  2015.  Decidability and undecidability of tied devices with stopwatches. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.

Pauly A, de Brecht M.  2015.  Descriptive Set Theory in the Category of Represented Spaces. 30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015. :438–449.

de Brecht M.  2015.  Duality theory for quasi-Polish and represented spaces. Dagstuhl Seminar.

Sano K, Tojo S.  2015.  Dynamic Logic for Multi-agent (Mis) Communication. 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE).

Terauchi T.  2015.  Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR. Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. :128–144.

de Brecht M.  2015.  Extending continuous valuations on quasi-Polish spaces to Borel measures. Twelfth International Conference on Computability and Complexity in Analysis.

Kawai T.  2015.  Formally representable functions from N^N to N. Fifth Workshop on Formal Topology.

Jirakunkanok P, Sano K, Tojo S.  2015.  An Implementation of Belief Re-revision and Reliability Change in Legal Case. Ninth International Workshop on Juris-informatics (JURISIN 2015).

Kawamura A, Ziegler M.  2015.  Invitation to Real Complexity Theory: Algorithmic Foundations to Reliable Numerics with Bit-Costs . The 18th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC).

Nomura S, Sano K, Tojo S.  2015.  A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. :187–202.

Hirokawa N, Middeldorp A, Moser G.  2015.  Leftmost Outermost Revisited. 26th International Conference on Rewriting Techniques and Applications (RTA 2015). 36:209–222.

Berger U, Miyamoto K, Schwichtenberg H, Tsuiki H.  2015.  Logic for Gray code computation. CCA:Twelfth International Conference on Computability and Complexity in Analysis.

de Brecht M, Kawai T.  2015.  Powerspaces of quasi-Polish spaces and countably presented locales. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.