The following pages link to Nikolay V. Shilov (Q174087):
Displaying 30 items.
- Generation of correctness conditions for imperative programs (Q840060) (← links)
- Dynamic process logic (Q1092892) (← links)
- Program schemata vs. automata for decidability of program logics (Q1392141) (← links)
- Program schemata technique for propositional program logics: a 30-year history (Q2216719) (← links)
- (Q2757842) (← links)
- Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior (Q2880593) (← links)
- SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics (Q2880609) (← links)
- Effective generation of verification conditions for non-deterministic unstructured programs (Q2882984) (← links)
- (Q2963878) (← links)
- (Q2979814) (← links)
- (Q2979845) (← links)
- (Q2979874) (← links)
- (Q2979883) (← links)
- (Q3023539) (← links)
- Nondeterministic program schemata and their relation to dynamic logic (Q3034804) (← links)
- (Q3043798) (← links)
- (Q3152422) (← links)
- Program Schemata Technique to Solve Propositional Program Logics Revised (Q3179178) (← links)
- (Q3349961) (← links)
- (Q3483264) (← links)
- (Q4499485) (← links)
- (Q4501136) (← links)
- (Q4501688) (← links)
- (Q4665732) (← links)
- (Q4737553) (← links)
- (Q4947229) (← links)
- (Q4982354) (← links)
- Boris Abramovich Trakhtenbrot (Q5074416) (← links)
- Perspectives of System Informatics (Q5902425) (← links)
- Specification and verification of distributed systems by means of the elementary-REAL language (Q5930825) (← links)