- Tytuł:
- Distributed Relation Logic
- Autorzy:
-
Allwein Gerard
Harrison William L.
Reynolds Thomas - Data publikacji:
- 2016-07-19
- Tematy:
-
relation algebra
multisorted algebra
distributed logic
Kripke frames
Kripke models - Pokaż więcej
- Dostawca treści:
- CEJSH