scientific article; zbMATH DE number 4114620

zbMATH Open0681.03037MaRDI QIDQ4729779FDOQ4729779

Authors: Yuri Gurevich 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4729784
• scientific article; zbMATH DE number 5526845
• scientific article; zbMATH DE number 4037804
• Logic for computer scientists
• scientific article; zbMATH DE number 54163
• Logic for computer scientists
• Logic for computer scientists
• scientific article; zbMATH DE number 824081
• On the unusual effectiveness of logic in computer science

zbMATH Keywords

networksdeterminacyinfinite gamesBorel hierarchyfile systemsoperating systemsMartin's theorem

Mathematics Subject Classification ID

Game theory (91A99) Theory of operating systems (68N25) Determinacy principles (03E60)

Cited In (3)

• Effective strategies for enumeration games
• Definability in games
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4729779)