A characterisation of ordered abstract probabilities (English)
Free access
- New search for: Westerbaan, A
- New search for: Westerbaan, B
- New search for: Wetering, JVD
- New search for: Westerbaan, A
- New search for: Westerbaan, B
- New search for: Wetering, JVD
- New search for: Hermanns, H
- New search for: Zhang, L
- New search for: Kobayashi, N
- New search for: Miller, D
2020
- Paper / Electronic Resource
-
Title:A characterisation of ordered abstract probabilities
-
Contributors:Westerbaan, A ( author ) / Westerbaan, B ( author ) / Wetering, JVD ( author ) / Hermanns, H / Zhang, L / Kobayashi, N / Miller, D
-
Publication date:2020-07-08
-
Remarks:In: Hermanns, H and Zhang, L and Kobayashi, N and Miller, D, (eds.) LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. (pp. pp. 944-957). Association for Computing Machinery (ACM): New York, NY, USA. (2020)
-
Type of media:Paper
-
Type of material:Electronic Resource
-
Language:English
- New search for: 511
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 511 -
Source: