Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

Savitch's theorem en · PROPN

Etymology

Proved by Walter Savitch in 1970.

Meanings

  1. A theorem giving a relationship between deterministic and non-deterministic space complexity.