Warning: Cannot modify header information - headers already sent by (output started at /customers/c/f/1/rasmuskrendsvig.dk/httpd.www/bibtexbrowser.local.php:8) in /customers/c/f/1/rasmuskrendsvig.dk/httpd.www/bibtexbrowser.php on line 4155 Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic (bibtex)
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic (bibtex)
by Dominik Klein and Rasmus K. Rendsvig
Reference:
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic Dominik Klein and Rasmus K. Rendsvig. Journal of Logic and Computation. 2020.
Bibtex Entry:
@article{KleinRendvig_JLC2020,
    author  = {Dominik Klein and Rasmus~K. Rendsvig},
    title   = {{Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic}},
    Journal = {Journal of Logic and Computation},
    year    = {2020},
    doi     = {10.1093/logcom/exaa035},
    url     = {http://rasmuskrendsvig.dk/papers/KleinRendsvig_JLC2020.pdf}
}
Powered by bibtexbrowser