The following pages link to Viktor K. Sabelfeld (Q912595):
Displayed 23 items.
- (Q174258) (redirect page) (← links)
- (Q1575233) (redirect page) (← links)
- An algorithm deciding functional equivalence in a new class of program schemes (Q912596) (← links)
- An approach to analyzing the properties of programs (Q1103383) (← links)
- Elimination of identity assignments in standard program schemata (Q1142576) (← links)
- The logic-termal equivalence is polynomial-time decidable (Q1144374) (← links)
- (Q1162151) (redirect page) (← links)
- Tree equivalence of linear recursive schemata is polynomial-time decidable (Q1162152) (← links)
- Äquivalente Transformationen für Flußdiagramme (Q1249431) (← links)
- The tree-equivalence problem for linear recursive schemas (Q1272053) (← links)
- The tree equivalence of linear recursion schemes (Q1575234) (← links)
- (Q2729956) (← links)
- (Q3043815) (← links)
- (Q3779731) (← links)
- (Q3886861) (← links)
- (Q3996874) (← links)
- (Q4090315) (← links)
- (Q4092966) (← links)
- (Q4124280) (← links)
- (Q4517378) (← links)
- (Q4840946) (← links)
- (Q5639368) (← links)
- Perspectives of System Informatics (Q5902408) (← links)
- Equivalent transformations of recursive schemes with finite deconvolution (Q5930899) (← links)