The following pages link to M. S. Nikitchenko (Q271899):
Displaying 40 items.
- Event-based proof of the mutual exclusion property of Peterson's algorithm (Q271900) (← links)
- Semantic properties of \(T\)-consequence relation in logics of quasiary predicates (Q1650326) (← links)
- Set-theoretic analysis of nominative data (Q1650337) (← links)
- Proving properties of programs on hierarchical nominative data (Q1650373) (← links)
- Nominative data with ordered set of names (Q1650383) (← links)
- Implementation of the composition-nominative approach to program formalization in Mizar (Q1650410) (← links)
- Composition-nominative logics as institutions (Q1653557) (← links)
- Simple-named complex-valued nominative data -- definition and basic operations (Q1688748) (← links)
- Kleene algebra of partial predicates (Q1796766) (← links)
- Completeness of the first-order logic of partial quasiary predicates with the complement composition (Q2209502) (← links)
- On algebras of algorithms and specifications over uninterpreted data (Q2311521) (← links)
- On an algorithmic algebra over simple-named complex-valued nominative data (Q2311522) (← links)
- An inference system of an extension of Floyd-Hoare logic for partial predicates (Q2311523) (← links)
- Partial correctness of GCD algorithm (Q2311524) (← links)
- Satisfiability in composition-nominative logics (Q2445092) (← links)
- Basics of intensionalized data: presets, sets, and nominats (Q2515844) (← links)
- Composition-nominative aspects of address programming (Q2654968) (← links)
- Pure composition nominative calculi (Q2737108) (← links)
- Investigation of properties of pure neoclassical calculi (Q2745129) (← links)
- Composition nominative first order calculi (Q2745130) (← links)
- Composition nominative first order logics (Q2745194) (← links)
- Sequent calculi construction for pure first-order composition-nominative logics of single-valued partial predicates (Q2850235) (← links)
- Semantic properties of monotone Floyd-Hoare logics (Q2850296) (← links)
- Composition-nominative logics of quasi-ary predicates: semantic aspects (Q2850352) (← links)
- Algebras of multivalued tolerant-stable predicates (Q2850426) (← links)
- Construction of modal logics of temporal and epistemic type on the basis of the composition-nominative approach (Q2897444) (← links)
- First-order composition-nominative logics (Q2897499) (← links)
- (Q2933402) (← links)
- (Q2933445) (← links)
- (Q4418112) (← links)
- (Q4557967) (← links)
- (Q4593227) (← links)
- (Q4675424) (← links)
- (Q4782555) (← links)
- (Q4798419) (← links)
- (Q4899541) (← links)
- (Q5254639) (← links)
- (Q5365463) (← links)
- (Q5467804) (← links)
- (Q5746017) (← links)
