`Travelled to:`

1 × France

1 × United Kingdom

2 × USA

`Collaborated with:`

A.Dawar M.Anderson M.Grohe B.Laubner E.Grädel E.Kopczynski W.Pakusa

`Talks about:`

linear (2) logic (2) program (1) maximum (1) algebra (1) system (1) point (1) pebbl (1) match (1) group (1)

## Person: Bjarki Holm

### DBLP: Holm:Bjarki

### Contributed to:

### Wrote 4 papers:

- LICS-2013-AndersonDH #fixpoint #linear #logic #programming
- Maximum Matching and Linear Programming in Fixed-Point Logic with Counting (MA, AD, BH), pp. 173–182.
- CSL-2012-DawarGHKP #equation #linear
- Definability of linear equation systems over groups and rings (AD, EG, BH, EK, WP), pp. 213–227.
- ICALP-v2-2012-DawarH #algebra #game studies
- Pebble Games with Algebraic Rules (AD, BH), pp. 251–262.
- LICS-2009-DawarGHL #logic #rank
- Logics with Rank Operators (AD, MG, BH, BL), pp. 113–122.