Pages that link to "Q93057"

The following pages link to Neil Immerman (Q93057):

Displayed 19 items.

• Juris Hartmanis (Q92628) ‎ (← links)
• Anil Nerode (Q500281) ‎ (← links)
• Immerman–Szelepcsényi theorem (Q744440) ‎ (← links)
• Logical Methods in Computer Science (Q13644986) ‎ (← links)
• Kousha Etessami (Q29514783) ‎ (← links)
• Sushant Patnaik (Q102194501) ‎ (← links)
• José Antonio Medina (Q102260106) ‎ (← links)
• William Hesse (Q102260107) ‎ (← links)
• Ruben Michel (Q102260108) ‎ (← links)
• Philipp Weis (Q102405792) ‎ (← links)
• Siddharth Srivastava (Q102405793) ‎ (← links)
• Cibele Freire (Q103375091) ‎ (← links)
• Complexity and Information in Invariant Inference (Q112676023) ‎ (← links)
• An optimal lower bound on the number of variables for graph identification (Q113847441) ‎ (← links)
• Describing Graphs: A First-Order Approach to Graph Canonization (Q113847476) ‎ (← links)
• User:Ladsgroup/Birth date report2/38 ‎ (← links | edit)
• User:Zuphilip/dblp-persons-list ‎ (← links | edit)
• Wikidata:Database reports/Constraint violations/P2021 ‎ (← links | edit)
• Wikidata:WikiProject Mathematics/Erdős number ‎ (← links | edit)