Bjarki Holm
Bjarki Holm
Postdoctoral Research Associate, University of Cambridge
Verifierad e-postadress på cl.cam.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
Logics with rank operators
A Dawar, M Grohe, B Holm, B Laubner
2009 24th Annual IEEE Symposium on Logic In Computer Science, 113-122, 2009
502009
Descriptive complexity of linear algebra
B Holm
SAS Opening Workshop “The Mathematical Legacy of Alan Turing”(Spitalfields …, 2010
342010
Solving linear programs without breaking abstractions
M Anderson, A Dawar, B Holm
Journal of the ACM (JACM) 62 (6), 1-26, 2015
202015
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
182013
Definability of linear equation systems over groups and rings
A Dawar, E Kopczynski, B Holm, E Grädel, W Pakusa
arXiv preprint arXiv:1204.3022, 2012
102012
Definability of linear equation systems over groups and rings
A Dawar, E Kopczynski, B Holm, E Grädel, W Pakusa
arXiv preprint arXiv:1204.3022, 2012
102012
Pebble games with algebraic rules
A Dawar, B Holm
Fundamenta Informaticae 150 (3-4), 281-316, 2017
92017
Pebble games with algebraic rules
A Dawar, B Holm
International Colloquium on Automata, Languages, and Programming, 251-262, 2012
92012
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
62014
Pebble games for logics with counting and rank
A Dawar, B Holm
Studies in Weak Arithmetics, 99-120, 0
3
Pebble games for rank logics
A Dawar, B Holm
Logical Approaches to Barriers in Computing and Complexity, 21, 2010
22010
Model-comparison Games with Algebraic Rules
B Holm
SAS Opening Workshop “The Mathematical Legacy of Alan Turing”(Spitalfields …, 2012
2012
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–12