scientific article; zbMATH DE number 1500567

zbMATH Open0959.68029MaRDI QIDQ4501588FDOQ4501588

Authors: Joachim Niehren, Tim Priesnitz 

Publication date: 4 September 2000

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

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

zbMATH Keywords

subtype inference systems

Mathematics Subject Classification ID

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

Cited In (5)

• Non-structural subtype entailment in automata theory
• Programming Languages and Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• The first-order theory of subtyping constraints

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)