The following pages link to Stefan Kahrs (Q820945):
Displayed 16 items.
- Simplifying regular expressions further (Q820947) (← links)
- Infinitary rewriting: meta-theory and convergence (Q884993) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- Confluence of curried term-rewriting systems (Q1907275) (← links)
- Infinitary rewriting: closure operators, equivalences and models (Q2376981) (← links)
- Red-black trees with types (Q2757083) (← links)
- Modularity of Convergence and Strong Convergence in Infinitary Rewriting (Q2786135) (← links)
- Modularity of Convergence in Infinitary Rewriting (Q3636826) (← links)
- (Q4001983) (← links)
- (Q4312482) (← links)
- (Q4457456) (← links)
- The variable containment problem (Q4645807) (← links)
- Towards a domain theory for termination proofs (Q5055834) (← links)
- (Q5369487) (← links)
- (Q5389142) (← links)
- Context rewriting (Q5881173) (← links)