Old Web
English
Sign In
Acemap
>
authorDetail
>
Callum Bannister
Callum Bannister
University of Sheffield
Assertion
Abelian group
Separation logic
Lift (mathematics)
Pure mathematics
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Effect Algebras, Girard Quantales and Complementation in Separation Logic.
2021
Callum Bannister
Peter Höfner
Georg Struth
Show All
Source
Cite
Save
Citations (0)
1