scientific article
DOI10.4204/EPTCS.53zbMATH Open1392.68019arXiv1103.3111MaRDI QIDQ3174684FDOQ3174684
Authors:
Publication date: 17 July 2018
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1103.3111
Title of this publication is not available (Why is that?)
Recommendations
- Types for proofs and programs. International workshop TYPES '96, Aussois, France, December 15--19, 1996. Selected papers
- Types for proofs and programs. International workshop, TYPES 2004, Jouy-en-Josas, France, December 15--18, 2004. Revised selected papers
- scientific article; zbMATH DE number 6325424
- Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26--29, 2008. Revised selected papers
- Types for proofs and programs. International conference, TYPES 2007, Cividale des Friuli, Italy, May 2--5, 2007. Revised selected papers
- Types for proofs and programs. International workshop, TYPES '98. Kloster Irsee, Germany, March 27--31, 1999. Selected papers
- Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.
- Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers
- scientific article; zbMATH DE number 6513112
- Types for proofs and programs. International workshop, TYPES 2006, Nottingham, UK, April 18--21, 2006. Revised selected papers.
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)
Cited In (2)
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 Q3174684)
