Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract
👁 2 lượt xem↓ 0 lượt tải qua VietLexVietLex bảo vệ quyền riêng tư của bạn — không tracking, không chia sẻ thông tin tải về cho bên thứ ba.
📑 Trích dẫn đầy đủ (citation)
APA-like:
Tác giả chưa xác định. Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract. Thesis, OpenAIRE.
Việt Nam (chuẩn TCVN 5453:1991):
. Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract. Thesis. OpenAIRE. Truy cập từ .
Tóm tắt
<jats:title>Abstract</jats:title><jats:p>Interactions between logic and theoretical computer science are multiple and profound. In the last decades, they have been deeply investigated, but, surprisingly, the study of probabilistic computation was only marginally touched by such fruitful interchanges. The overall goal of my doctoral thesis was precisely that of start bridging this gap by developing logical systems corresponding to specific aspects of randomized computation and, due to them, by ge...