Wikidata facts
- Subclass of
- temporal logic
Show 2 more facts
- Commons category
- Linear temporal logic
- Stack Exchange tag
- cs.stackexchange.com/tags/linear-temporal-logic
Sources (3)
via Wikidata · CC0
Article · Polski
Logika LTL – jedna z logik temporalnych. Jest oparta na liniowej strukturze czasu.
Abstract from DBpedia / Wikipedia · CC BY-SA