Viktor K. Sabelfeld

Available identifiers

zbMath Open sabelfeld.viktor-kMaRDI QIDQ912595

List of research outcomes

Publication	Date of Publication	Type
The tree equivalence problem for linear recursion schemes	2024-07-11	Paper
Perspectives of System Informatics	2010-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q3043815	2004-08-06	Paper
Equivalent transformations of recursive schemes with finite deconvolution	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2729956	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4517378	2000-11-21	Paper
The tree equivalence of linear recursion schemes	2000-08-21	Paper
The tree-equivalence problem for linear recursive schemas	1998-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4840946	1995-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q3996874	1992-09-17	Paper
An algorithm deciding functional equivalence in a new class of program schemes	1990-01-01	Paper
An approach to analyzing the properties of programs	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3779731	1986-01-01	Paper
Tree equivalence of linear recursive schemata is polynomial-time decidable	1981-01-01	Paper
The logic-termal equivalence is polynomial-time decidable	1980-01-01	Paper
Elimination of identity assignments in standard program schemata	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886861	1979-01-01	Paper
Äquivalente Transformationen für Flußdiagramme	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4124280	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4090315	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4092966	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5639368	1971-01-01	Paper

Research outcomes over time

This page was built for person: Viktor K. Sabelfeld