Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Log in
Register
linkhut
Bookmarks
tagged with:
types
plt
Sort by:
recency
popularity
Order:
descending
ascending
28 Dec 25
Linear temporal logic - Wikipedia
https://en.wikipedia.org/wiki/Linear_temporal_logic
A way of modeling stat full time .
by
eli
1 month ago
Tags:
plt
types
type-theory
time