scientific article; zbMATH DE number 512901

From MaRDI portal

Publication:4281609

Jump to:navigation, search

zbMath0791.68090MaRDI QIDQ4281609

Chris Hankin, David Clark

Publication date: 10 March 1994

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

zbMATH Keywords

abstract interpretation strictness analysis abstract reduction term graph rewriting systems lattice of abstract graphs

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

This page was built for publication:

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