scientific article; zbMATH DE number 7030644

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

Author name not available (Why is that?)

Publication date: 27 February 2019

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• On sets of terms having a given intersection type
• Title not available (Why is that?)

   Recommendations

• [[:Publication:4626434|Title not available (Why is that?)]]
• [[:Publication:4639093|Title not available (Why is that?)]]
• [[:Publication:4993735|Title not available (Why is that?)]]
• [[:Publication:5125292|Title not available (Why is that?)]]
• [[:Publication:4960257|Title not available (Why is that?)]]
• [[:Publication:6116440|Title not available (Why is that?)]]
• [[:Publication:5097168|Title not available (Why is that?)]]
• [[:Publication:3454219|Title not available (Why is that?)]]
• [[:Publication:5495620|Title not available (Why is that?)]]
• 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8--11, 2011

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)