-
1by Solvason, Birgir T. Runolfsson“... order in medieval Iceland; the so-called Commonwealth period. The Commonwealth experience poses...”
Published 1991
Get access
Report -
2
-
3
-
4
-
5
-
6
-
7by Jelínek, VítSubjects: “...interval orders...”
Published 2011
Get access
Get access
Get access
Conference Object -
8“... for students of social order. For today’s readers, the saga seems to offer a classic Hobbesian tale...”
Get access
Get access
Text -
9
-
10
-
11
-
12
-
13by Clark, Julian, Jones, Alun“... state territorialities, and how state periodisation arises from political order imbricating...”
Published in Transactions of the Institute of British Geographers (2016)
Get access
Get access
Get access
Article in Journal/Newspaper -
14
-
15
-
16
-
17
-
18by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy“... datatypes and codatatypes to uniform types in higher-order logic. We programmed this reduction...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
19by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy“... datatypes and codatatypes to uniform types in higher-order logic. We programmed this reduction...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
20“... on probabilistic automata, and discuss how partial order reduction can be twisted such as to apply statistical...”
Get access
Get access
Get access
Get access
Conference Object