You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
| Title |
Nondeterministic and nonconcurrent computational semantics for BB+ and related logics
|
|---|---|
| Published in |
Journal of Logic & Computation, September 2023
|
| DOI | 10.1093/logcom/exad057 |
| Authors |
Shay Allen Logan |