Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Immerman–Szelepcsényi theorem · Vinony

🌐English

English Deutsch Français Português Türkçe العربية 中文日本語

EntityQ744440· pop 6· linked from 24 articles

Immerman–Szelepcsényi theorem

theorem

Connections

descriptive complexity theory

Categories

Mathematical theorems in theoretical computer science Structural complexity theory

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

digital object identifier

computational complexity theory

time complexity

complexity class

Mathematical Reviews

linear bounded automaton

Savitch's theorem

Sign in to save

What links here24 pages

Savitch's theorem

context-sensitive grammar

context-sensitive language

Róbert Szelepcsényi

Alternating Turing machine

st-connectivity

2-satisfiability

space complexity

linear bounded automaton

finite model theory

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Mohr–Mascheroni theorem

Entitydist 0.49

Entitydist 0.52

Basu's theorem

Entitydist 0.52

Entitydist 0.54

Entitydist 0.55

Bloch's theorem

Entitydist 0.58

Fubini's theorem on differentiation

Entitydist 0.59

Min-max theorem

Entitydist 0.61

Wiener–Ikehara theorem

Entitydist 0.63

Thébault's theorem

Entitydist 0.63

Sommerfeld identity

Entitydist 0.66

Hermite–Hadamard inequality

Entitydist 0.66