×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [kripke models]
Home >
kripke models
1 Introduction to Model Checking Ken McMillan Cadence Berkeley Labs
[email protected]
.
224 views
Who's afraid of Categorical models?
371 views
Mirco A. Mannucci and Rose M. Cherubin- Model Theory of Ultrafinitism I: Fuzzy Initial Segments of Arithmetic
38 views
Point-free foundation of Mathematics
57 views
1 Dynamics of Collective Attitudes During Teamwork Barbara Dunin-Kęplicz Rineke Verbrugge.
214 views