`Travelled to:`

1 × Austria

1 × Spain

`Collaborated with:`

∅ G.Duchamp

`Talks about:`

ration (2) undecid (1) problem (1) partial (1) multipl (1) complet (1) tropic (1) system (1) monoid (1) lazard (1)

## Person: Daniel Krob

### DBLP: Krob:Daniel

### Contributed to:

### Wrote 3 papers:

- ICALP-1992-Krob #decidability #multi #problem #similarity
- The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable (DK), pp. 101–112.
- ICALP-1991-DuchampK #commutative #monad
- Lazard’s Factorizations of Free Partially Commutative Monoids (GD, DK), pp. 242–253.
- ICALP-1990-Krob
- A Complete System of B-Rational Identities (DK), pp. 60–73.