3 citations · 15 across the 21 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.FL2026
Contributions to the hierarchy of probabilistic languages
Lothar Sebastian Krapp, Remo Nitschke
We reconsider the theory of probabilistic formal languages generated by n-gram models and by probabilistic context-free grammars (PCFGs). The expected hierarchy of probabilistic gr…
math.LO2026
Ordered henselian valued fields: definability and Borel sets
Lothar Sebastian Krapp, Floris Vermeulen
We firstly show that due to their resplendency ordered henselian valued fields admit relative field quantifier elimination in the Denef--Pas language expanded by linear orders in t…