Kohei Kishida
Orcid: 0000-0002-6719-1521
According to our database1,
Kohei Kishida
authored at least 21 papers
between 2008 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach.
Proceedings of the Logic and Engineering of Natural Language Semantics, 2023
2022
Log. Methods Comput. Sci., 2022
CoRR, 2022
Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022
2020
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper.
Proceedings of the Reversible Computation - 12th International Conference, 2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
2017
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
Proceedings of the 12th Conference on the Theory of Quantum Computation, 2017
2016
CoRR, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
2015
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
2014
Proceedings of the 11th workshop on Quantum Physics and Logic, 2014
2013
Proceedings of the Logic, Language, Information, and Computation, 2013
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013
2012
Proceedings of the New Frontiers in Artificial Intelligence, 2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
Proceedings of the 7th Workshop on Methods for Modalities, 2011
2008
Rev. Symb. Log., 2008