scientific article; zbMATH DE number 512901

MaRDI QIDQ4281609zbMATH OpenFDO

Authors David Clark, Chris Hankin

Publication date 10 March 1994

zbMATH Keywords

abstract interpretationstrictness analysisabstract reductionterm graph rewriting systemslattice of abstract graphs

Mathematics Subject Classification ID

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

Recommendations

• The lattice of varieties of graphs
• scientific article; zbMATH DE number 558563
• A graph associated to a lattice
• Lattices from graph associahedra
• Graph based on residuated lattices
• Graphs and lattice varieties
• scientific article; zbMATH DE number 949392
• Lattice complete graphs
• Some properties of graphs derived from lattices
• scientific article; zbMATH DE number 1948515

Cited in

(4)

• A lattice for abstract interpretation of dynamic (LISP-like) structures
• scientific article; zbMATH DE number 1916518 (Why is no real title available?)
• The lattice of varieties of graphs
• scientific article; zbMATH DE number 1617319 (Why is no real title available?)

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 Q4281609)