https://rends.dk/bibtexbrowser.php?key=OcchipintiLibermanRendsvig_IJCAI2020&bib=rendsvig.bib
Decidability Results in First-Order Epistemic Planning (bibtex)
results infirst orderdecidabilityepistemicplanning
https://www.muni.cz/vyzkum/publikace/1323251
Polynomial Time Decidability of Weighted Synchronization under Partial Observability | Masarykova...
polynomial timedecidabilityweightedsynchronizationpartial
Sponsored https://www.fuckdate.com/enter.php?prg=1&id=robuta&t=best&ad_id=fuckdate_300x250_202201_1.jpg
Find a Fuck Buddy at Fuckdate.com
Fuckdate.com casual dating on your mobile or iPhone. Use your phone to browse thousands of singles in your area.
https://dmtcs.episciences.org/en/articles/2301
Number conserving cellular automata: new results on decidability and dynamics | Discrete...
This paper is a survey on our recent results about number conserving cellular automata. First, we prove the linear time decidability of the property of number...
cellular automatanumberconservingnewresults