scientific article; zbMATH DE number 1500567

MaRDI QIDQ4501588zbMATH OpenFDO

Authors Joachim Niehren, Tim Priesnitz

Publication date 4 September 2000

zbMATH Keywords

subtype inference systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• The first-order theory of subtyping constraints
• Simplifying subtyping constraints
• Non-structural subtype entailment in automata theory
• Simplifying subtyping constraints: a theory
• scientific article; zbMATH DE number 2242596

Cited in

(6)

• Non-structural subtype entailment in automata theory
• scientific article; zbMATH DE number 1692939 (Why is no real title available?)
• scientific article; zbMATH DE number 1342218 (Why is no real title available?)
• The first-order theory of subtyping constraints
• Programming Languages and Systems
• scientific article; zbMATH DE number 2242596 (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 Q4501588)