Viktor K. Sabelfeld

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The tree equivalence problem for linear recursion schemes	2024-07-11	Paper
Perspectives of System Informatics Lecture Notes in Computer Science	2010-01-05	Paper
scientific article; zbMATH DE number 2084337 (Why is no real title available?)	2004-08-06	Paper
Equivalent transformations of recursive schemes with finite deconvolution Programming and Computer Software	2001-11-06	Paper
scientific article; zbMATH DE number 1630127 (Why is no real title available?)	2001-10-23	Paper
scientific article; zbMATH DE number 1534592 (Why is no real title available?)	2000-11-21	Paper
The tree equivalence of linear recursion schemes Theoretical Computer Science	2000-08-21	Paper
The tree-equivalence problem for linear recursive schemas Programming and Computer Software	1998-11-23	Paper
scientific article; zbMATH DE number 781170 (Why is no real title available?)	1995-09-26	Paper
scientific article; zbMATH DE number 46687 (Why is no real title available?)	1992-09-17	Paper
An algorithm deciding functional equivalence in a new class of program schemes Theoretical Computer Science	1990-01-01	Paper
An approach to analyzing the properties of programs Programming and Computer Software	1987-01-01	Paper
scientific article; zbMATH DE number 4041246 (Why is no real title available?)	1986-01-01	Paper
Tree equivalence of linear recursive schemata is polynomial-time decidable Information Processing Letters	1981-01-01	Paper
The logic-termal equivalence is polynomial-time decidable Information Processing Letters	1980-01-01	Paper
Elimination of identity assignments in standard program schemata Programming and Computer Software	1979-01-01	Paper
scientific article; zbMATH DE number 3692646 (Why is no real title available?)	1979-01-01	Paper
Äquivalente Transformationen für Flußdiagramme Acta Informatica	1978-01-01	Paper
scientific article; zbMATH DE number 3550139 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3510275 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3513314 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3366540 (Why is no real title available?)	1971-01-01	Paper

Research outcomes over time

This page was built for person: Viktor K. Sabelfeld