Found 5 Documents (Results 1–5)
Measurable spaces and their effect logic. (English) Zbl 1433.03162
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society. 83-92 (2013).
Filter Results by …
Document Type
- Journal Articles (4)
- Collection Articles (1)
all
top 5
Author
- Jacobs, Bart (3)
- Alvarez-Manilla, Mauricio (1)
- Furber, Robert W. J. (1)
- Jung, Achim (1)
- Keimel, Klaus (1)
- Mandemaker, Jorik (1)
- Mardare, Radu (1)
- Mio, Matteo (1)