The following pages link to Zurab Khasidashvili (Q526773):
Displaying 40 items.
- (Q236799) (redirect page) (← links)
- Symbolic trajectory evaluation for word-level verification: theory and implementation (Q526779) (← links)
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- The conflict-free reduction geometry (Q2581368) (← links)
- (Q2778875) (← links)
- Predicate Elimination for Preprocessing in First-Order Theorem Proving (Q2818027) (← links)
- (Q2843610) (← links)
- (Q2844072) (← links)
- (Q2845511) (← links)
- (Q2848685) (← links)
- EPR-Based Bounded Model Checking at Word Level (Q2908493) (← links)
- Discrete Normalization and Standardization in Deterministic Residual Structures (Q2956718) (← links)
- (Q3199388) (← links)
- (Q3199389) (← links)
- (Q3199390) (← links)
- (Q3202988) (← links)
- (Q3356291) (← links)
- (Q3358241) (← links)
- (Q3358242) (← links)
- On Formal Equivalence Verification of Hardware (Q3503620) (← links)
- (Q4222804) (← links)
- (Q4263802) (← links)
- (Q4364379) (← links)
- (Q4447252) (← links)
- Stable results and relative normalization (Q4500174) (← links)
- A syntactical analysis of normalization (Q4500176) (← links)
- (Q4501151) (← links)
- The geometry of orthogonal reduction spaces (Q4571994) (← links)
- (Q4699303) (← links)
- (Q4808737) (← links)
- (Q4942642) (← links)
- (Q4954449) (← links)
- (Q5015097) (← links)
- Optimal normalization in orthogonal term rewriting systems (Q5055799) (← links)
- Relative normalization in Deterministic Residual Structures (Q5878909) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898167) (← links)
- Hardware and Software, Verification and Testing (Q5898457) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
- Minimal relative normalization in orthogonal expression reduction systems (Q6567775) (← links)
