`Travelled to:`

1 × Austria

1 × Finland

1 × Japan

`Collaborated with:`

A.Craciun ∅ J.Aisenberg M.L.Bonet S.Buss

`Talks about:`

lovász (2) kneser (2) proof (2) principl (1) theorem (1) grammar (1) equival (1) complex (1) strong (1) short (1)

## Person: Gabriel Istrate

### DBLP: Istrate:Gabriel

### Contributed to:

### Wrote 3 papers:

- ICALP-v2-2015-AisenbergBBCI #principle #proving
- Short Proofs of the Kneser-Lovász Coloring Principle (JA, MLB, SB, AC, GI), pp. 44–55.
- SAT-2014-IstrateC #complexity #proving #theorem
- Proof Complexity and the Kneser-Lovász Theorem (GI, AC), pp. 138–153.
- DLT-1993-Istrate #equivalence
- The Strong Equivalence of ETOL Grammars (GI), pp. 81–89.