The following pages link to Francis Klay (Q553315):
Displayed 11 items.
- Rigid tree automata and applications (Q553317) (← links)
- A compared study of two correctness proofs for the standardized algorithm of ABR conformance (Q1395676) (← links)
- Mechanical verification of an ideal incremental ABR conformance algorithm (Q1810852) (← links)
- (Q2723425) (← links)
- (Q2754095) (← links)
- Rigid Tree Automata (Q3618602) (← links)
- Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder (Q3619471) (← links)
- (Q4493887) (← links)
- (Q4817050) (← links)
- Undecidable properties of syntactic theories (Q5055755) (← links)
- Combination techniques for non-disjoint equational theories (Q5210778) (← links)