<--- Back to Details
First PageDocument Content
Order theory / Binary relations / Partially ordered set
Date: 2018-10-14 21:12:04
Order theory
Binary relations
Partially ordered set

arXiv:1810.05256v1 [cs.DC] 11 OctALEPH: A LEADERLESS, ASYNCHRONOUS, BYZANTINE FAULT TOLERANT CONSENSUS PROTOCOL ´ ADAM GA

Add to Reading List

Source URL: arxiv.org

Download Document from Source Website

File Size: 239,73 KB

Share Document on Facebook

Similar Documents

JCAMECH Vol. 49, No. 1, June 2018, ppDOI: jcamechFree vibration and buckling analysis of third-order shear deformation plate theory using exact wave propagation approach

JCAMECH Vol. 49, No. 1, June 2018, ppDOI: jcamechFree vibration and buckling analysis of third-order shear deformation plate theory using exact wave propagation approach

DocID: 1vqHW - View Document

Higher-order theory of mind in negotiations under incomplete information Harmen de Weerd1 , Rineke Verbrugge1 , Bart Verheij1,2 1  Institute of Artificial Intelligence, University of Groningen

Higher-order theory of mind in negotiations under incomplete information Harmen de Weerd1 , Rineke Verbrugge1 , Bart Verheij1,2 1 Institute of Artificial Intelligence, University of Groningen

DocID: 1vpMN - View Document

Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1  arXiv:1403.4147v4 [quant-ph] 3 Jan 2015

Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1 arXiv:1403.4147v4 [quant-ph] 3 Jan 2015

DocID: 1vmik - View Document

Estimating the use of higher-order theory of mind using computational agents1 Harmen de Weerd Denny Diepgrond

Estimating the use of higher-order theory of mind using computational agents1 Harmen de Weerd Denny Diepgrond

DocID: 1v9Mh - View Document

J. Korean Math. Soc.  FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

DocID: 1v7hr - View Document