1 × France
1 × United Kingdom
2 × USA
A.Dawar M.Anderson M.Grohe B.Laubner E.Grädel E.Kopczynski W.Pakusa
linear (2) logic (2) program (1) maximum (1) algebra (1) system (1) point (1) pebbl (1) match (1) group (1)
Person: Bjarki Holm
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.