Travelled to:
1 × Japan
Collaborated with:
M.Bojanczyk F.Murlak
Talks about:
program (1) datalog (1) contain (1) width (1) monad (1) cliqu (1) bound (1)
Person: Adam Witkowski
DBLP: Witkowski:Adam
Contributed to:
Wrote 1 papers:
- ICALP-v2-2015-BojanczykMW #bound #clique #datalog #monad #source code
- Containment of Monadic Datalog Programs via Bounded Clique-Width (MB, FM, AW), pp. 427–439.