Pages that link to "Item:Q1706152"
From MaRDI portal
The following pages link to On the compressibility of finite languages and formal proofs (Q1706152):
Displaying 8 items.
- On minimizing regular expressions without Kleene star (Q2140503) (← links)
- On the cover complexity of finite languages (Q2334605) (← links)
- Inductive theorem proving based on tree grammars (Q2344621) (← links)
- Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen (Q3773932) (← links)
- (Q4432978) (← links)
- On the Herbrand content of LK (Q5015361) (← links)
- (Q5091755) (← links)
- Compressibility of Finite Languages by Grammars (Q5500684) (← links)