root.bib 982 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
@article{AharoniBergerGeorgakopoulusPerlsteinSpruessel2011JCT,
  author = {Ron Aharoni and Eli Berger and Agelos Georgakopoulos and Amitai Perlstein and Philipp Spr{\"u}ssel},
  title = {The Max-Flow Min-Cut theorem for countable networks},
  journal = {J. Combin. Theory Ser. B},
  volume = 101,
  pages = {1--17},
  year = 2011,
}

@inproceedings{HoelzlLochbihlerTraytel2015ITP,
  author = {Johannes H{\"o}lzl and Andreas Lochbihler and Dmitriy Traytel},
  title = {A Formalized Hierarchy of Probabilistic System Types},
  editor = {Christian Urban and Xingyuan Zhang},
  booktitle = {Interactive Theorem Proving (ITP 2015)},
  series = {LNCS},
  volume = 9236,
  pages = {203--220},
  year = 2015,
  publisher = {Springer},
  doi = {10.1007/978-3-319-22102-1_13},
}

@article{Aharoni1983EJC,
  author = {Ron Aharoni},
  title = {Menger's Theorem for Graphs Containing no Infinite Paths},
  journal = {Europ. J. Combinatorics},
  volume = 4,
  pages = {201--204},
  year = 1983,
}