This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about Computation tree logic field

Computation tree logic

https://www.wikidata.org/wiki/Q1040040
Field Hierarchy
Parent
Computer science
55.7M papers
Mathematics
21.4M papers
Philosophy
20.6M papers
Programming language
7.3M papers
Epistemology
5.4M papers
Algorithm
4.6M papers
Theoretical computer science
632k papers
Model checking
20.4k papers
Temporal logic
6,679 papers
Linear temporal logic
3,599 papers
Current
Computation tree logic
1,609 papers
Child
Trends