15 citations · 29 across the 8 of their papers we have counts for
1 paper · 1 filter
Dieter Spreen
Information systems with witnesses have been introduced in [D. Spreen. Generalised information systems capture L-domains. arXiv:1610.02260v2] as a logic-style representation of L-d…