×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [zis principal formula]
Home >
zis principal formula
Abate, Gore & Widmann, Tableaux for Predicate Dynamic Logic [26 pgs]
3 views