scientific article

From MaRDI portal

Publication:3698295

Jump to:navigation, search

zbMath0577.68036MaRDI QIDQ3698295

J. P. Braquelaire

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

infinite regular tree quasi-trees rational expressions flowchart iterative program scheme

Mathematics Subject Classification ID

Trees (05C05) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (05C99)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3698295&oldid=17186873"