scientific article; zbMATH DE number 1948402

zbMATH Open1015.68514MaRDI QIDQ4411965

Karl-Filip Faxén

Publication date: 13 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2477/24770278.htm

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

Mathematics Subject Classification ID

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

Uses Software

• MLton

Recommendations

• Title not available (Why is that?) 👍 👎
• Dissection of solutions in cooperative game theory using representation techniques 👍 👎
• Coercive subtyping: theory and implementation 👍 👎
• On the power of coercion abstraction 👍 👎
• Analyzing the Structure of Representations via Approximations 👍 👎
• Flexible representation analysis 👍 👎
• Representation, coherence and inference 👍 👎

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