Publication
Found 37 results
Computational complexity of real functions. German-Japanese Workshop on Theory and Practice of Real Computation.
.
2015. Computing with Compact Sets - the Gray Code Case. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
.
2015. Decidability and undecidability of tied devices with stopwatches. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
.
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.
.
2015. Duality theory for quasi-Polish and represented spaces. Dagstuhl Seminar.
.
2015. Dynamic Logic for Multi-agent (Mis) Communication. 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE).
.
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.
.
2015. Extending continuous valuations on quasi-Polish spaces to Borel measures. Twelfth International Conference on Computability and Complexity in Analysis.
.
2015. Formally representable functions from N^N to N. Fifth Workshop on Formal Topology.
.
2015. An Implementation of Belief Re-revision and Reliability Change in Legal Case. Ninth International Workshop on Juris-informatics (JURISIN 2015).
.
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).
.
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.
.
2015. Leftmost Outermost Revisited. 26th International Conference on Rewriting Techniques and Applications (RTA 2015). 36:209–222.
.
2015. Logic for Gray code computation. CCA:Twelfth International Conference on Computability and Complexity in Analysis.
.
2015. Powerspaces of quasi-Polish spaces and countably presented locales. Continuity, Computability, Constructivity– From Logic to Algorithms (CCC 2015), Germany.
.
2015.