scientific article; zbMATH DE number 3655320

zbMATH Open0421.68013MaRDI QIDQ3854596FDOQ3854596

Authors: M. Nivat, Guy Cousineau 

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

regular expressioninfinite treeflowchartgoto-elimination

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (4)

• Algebraic solutions to recursion schemes
• Correctness of programs with Pascal-like procedures without global variables
• Semantics of algorithmic languages
• Wythoff games, continued fractions, cedar trees and Fibonacci searches

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3854596)