Cikkek nyilvánosan hozzáférhető megbízással - Bjarki HolmTovábbi információ
Valahol hozzáférhető: 5
Solving linear programs without breaking abstractions
M Anderson, A Dawar, B Holm
Journal of the ACM (JACM) 62 (6), 1-26, 2015
Megbízások: UK Engineering and Physical Sciences Research Council
Maximum matching and linear programming in fixed-point logic with counting
M Anderson, A Dawar, B Holm
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 173-182, 2013
Megbízások: UK Engineering and Physical Sciences Research Council
Definability of linear equation systems over groups and rings
A Dawar, E Kopczynski, B Holm, E Grädel, W Pakusa
Logical Methods in Computer Science 9, 2013
Megbízások: UK Engineering and Physical Sciences Research Council
Pebble games with algebraic rules
A Dawar, B Holm
Fundamenta Informaticae 150 (3-4), 281-316, 2017
Megbízások: UK Engineering and Physical Sciences Research Council
Type checking liveness for collaborative processes with bounded and unbounded recursion
S Debois, T Hildebrandt, T Slaats, N Yoshida
International Conference on Formal Techniques for Distributed Objects …, 2014
Megbízások: Danish Council for Technology and Innovation, European Commission
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.