scientific article; zbMATH DE number 1463151

zbMATH Open0948.03057MaRDI QIDQ4487299FDOQ4487299

Authors: Adam Grabowski 

Publication date: 27 July 2000

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

Recommendations

• scientific article; zbMATH DE number 4041976
• scientific article; zbMATH DE number 3858458
• Lattices of polynomials under substitution
• Properties of substitutions and unifications
• scientific article; zbMATH DE number 19624

zbMATH Keywords

lattice of substitutions

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Structure and representation theory of distributive lattices (06D05)

Cited In (2)

• Title not available (Why is that?)
• On a generalization of substitutions in application to the problem of static analysis of programs

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