BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Holm:Bjarki

Contributed to:

LICS 20132013
CSL 20122012
ICALP (2) 20122012
LICS 20092009

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.