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 Kripke structure field

Kripke structure

https://www.wikidata.org/wiki/Q1077740
Field Hierarchy
Parent
Computer science
56.2M papers
Mathematics
21.6M papers
Philosophy
20.8M papers
Programming language
7.4M papers
Epistemology
5.5M papers
Algorithm
4.6M papers
Theoretical computer science
637k papers
Model checking
20.4k papers
Temporal logic
6,664 papers
Current
Kripke structure
682 papers
Child
Trends