BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Spain
Collaborated with:
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 DBLP: Krob:Daniel

Contributed to:

ICALP 19921992
ICALP 19911991
ICALP 19901990

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.
A Complete System of B-Rational Identities (DK), pp. 60–73.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.