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:
199219911990Wrote 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.