`Travelled to:`

1 × Portugal

2 × Canada

`Collaborated with:`

H.Vollmer P.Chapdelaine N.Creignou M.Hermann T.Schneider H.Schnoor I.Schnoor

`Talks about:`

general (3) complex (3) conjunct (2) approach (2) algebra (2) queri (2) satisfi (1) tempor (1) linear (1) logic (1)

## Person: Michael Bauland

### DBLP: Bauland:Michael

### Contributed to:

### Wrote 3 papers:

- FoSSaCS-2007-BaulandSSSV #complexity #linear #logic #satisfiability
- The Complexity of Generalized Satisfiability for Linear Temporal Logic (MB, TS, HS, IS, HV), pp. 48–62.
- SAT-2004-BaulandCCHV #algebra #approach #complexity #query
- An Algebraic Approach to the Complexity of Generalized Conjunctive Queries (MB, PC, NC, MH, HV), pp. 181–190.
- SAT-J-2004-BaulandCCHV05 #algebra #approach #complexity #query
- An Algebraic Approach to the Complexity of Generalized Conjunctive Queries (MB, PC, NC, MH, HV), pp. 30–45.