scientific article; zbMATH DE number 7444840

zbMath1483.00007arXiv1708.02654MaRDI QIDQ5016794

Joseph B. W. Yeo, Jonathan Welton, Michael Ian Hartley, Hans P. van Ditmarsch, Barteld P. Kooi

Publication date: 14 December 2021

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

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

Mathematics Subject Classification ID

Recreational mathematics (00A08)

Related Items (1)

Program semantics and verification technique for AI-centred programs

Cites Work

• One hundred prisoners and a lightbulb
• One Hundred Prisoners and a Light Bulb
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: