scientific article; zbMATH DE number 7364198

zbMath1467.68131arXiv1412.8542MaRDI QIDQ4997285

Kohei Kishida

Publication date: 29 June 2021

Full work available at URL: https://arxiv.org/abs/1412.8542

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Categories for Dynamic Epistemic Logic

This page was built for publication: