The following pages link to Bertram Felgenhauer (Q515685):
Displaying 16 items.
- Reachability, confluence, and termination analysis with state-compatible automata (Q515687) (← links)
- Layer systems for confluence -- formalized (Q1623131) (← links)
- Constructing cycles in the simplex method for DPLL(T) (Q1675808) (← links)
- Certifying proofs in the first-order theory of rewriting (Q2233502) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- CSI: new evidence -- a progress report (Q2405264) (← links)
- (Q2911632) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- (Q2958383) (← links)
- (Q2985126) (← links)
- (Q4553285) (← links)
- Deciding Confluence of Ground Term Rewrite Systems in Cubic Time. (Q5111903) (← links)
- CSI – A Confluence Tool (Q5200045) (← links)
- (Q5277883) (← links)
- Labelings for Decreasing Diagrams. (Q5389095) (← links)
- Reachability Analysis with State-Compatible Automata (Q5404926) (← links)