scientific article

From MaRDI portal

Publication:3659160

Jump to:navigation, search

zbMath0513.68060MaRDI QIDQ3659160

Bruno Courcelle

Publication date: 1982

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

zbMATH Keywords

Mathematics Subject Classification ID

Trees (05C05) Graph theory (including graph drawing) in computer science (68R10)

Related Items

About the rewriting systems produced by the Knuth-Bendix completion algorithm

This page was built for publication:

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