scientific article; zbMATH DE number 7030644

DOI10.4230/LIPICS.TYPES.2016.0zbMATH Open1407.68033MaRDI QIDQ4626432

No author found.

Publication date: 27 February 2019

Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/oasics-complete/oasics-vol66-iccsw2018-complete.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

On sets of terms having a given intersection type ⋮ Unnamed Item ⋮ Unnamed Item

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

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