No label defined (Q3174684)

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article

scientific article; zbMATH DE number 6904771

Language	Label	Description	Also known as
default for all languages	No label defined
English	No label defined	scientific article; zbMATH DE number 6904771

Statements

instance of

scholarly article

0 references

published in

Electronic Proceedings in Theoretical Computer Science

0 references

publication date

17 July 2018

0 references

full work available at URL

https://arxiv.org/abs/1103.3111

0 references

http://eptcs.web.cse.unsw.edu.au/content.cgi?TYPES2009

0 references

MaRDI profile type

MaRDI publication profile

0 references

Recommended article

Types for proofs and programs. International workshop TYPES '96, Aussois, France, December 15--19, 1996. Selected papers

Similarity Score

0.94922227

Recommender Run

Recommender Run 3

0 references

Types for proofs and programs. International workshop, TYPES 2004, Jouy-en-Josas, France, December 15--18, 2004. Revised selected papers

0.9401325

0 references

0.928841

0 references

Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26--29, 2008. Revised selected papers

Similarity Score

0.92437285

Recommender Run

Recommender Run 3

0 references

Types for proofs and programs. International conference, TYPES 2007, Cividale des Friuli, Italy, May 2--5, 2007. Revised selected papers

Similarity Score

0.9232427

Recommender Run

Recommender Run 3

0 references

Types for proofs and programs. International workshop, TYPES '98. Kloster Irsee, Germany, March 27--31, 1999. Selected papers

Similarity Score

0.92301047

Recommender Run

Recommender Run 3

0 references

Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.

Similarity Score

0.9226636

Recommender Run

Recommender Run 3

0 references

Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers

0.91919625

0 references

0.9168202

0 references

Types for proofs and programs. International workshop, TYPES 2006, Nottingham, UK, April 18--21, 2006. Revised selected papers.

Similarity Score

0.9167279

Recommender Run

Recommender Run 3

0 references

Identifiers

zbMATH Open document ID

1392.68019

0 references

DOI

10.4204/EPTCS.53

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3174684