Interpolant strength

Metadata Label	Value
Author(s):	D'Silva, Vijay, Kröning, Daniel, Purandare, Mitra, Weissenbacher, Georg
Publisher:	ETH, Department of Computer Science
Citation:	D'Silva, Vijay, Kröning, Daniel, Purandare, Mitra and Weissenbacher, Georg. Interpolant strength. ETH, Department of Computer Science (2009). http://dx.doi.org/10.3929/ethz-a-006829829
Document Type:	Reports
Documents:	Text (383.45KB)

Detailed Information

Metadata	Description
Title	Interpolant strength
Author(s)	D'Silva, Vijay Kröning, Daniel Purandare, Mitra Weissenbacher, Georg
Publication Place	Zurich
Publisher	ETH, Department of Computer Science
Publication Date	2009
Series	Technical report / Swiss Federal Institute of Technology Zurich, Department of Computer Science 652
Language	English
DOI	http://dx.doi.org/10.3929/ethz-a-006829829
Subject(s)	Computer Science, General
Organisational Unit	Department of Computer Science
Online Publication Date	2011

Description	File Name	MIME Type	Size
Text	eth-5004-01.pdf	application/pdf	383.45KB

Description	URL
NEBIS Link	http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=006829829

Abstract Views and Downloads
Views	26
Downloads	10

Abstract Views and Downloads by Country
Austria	Views	5
Austria	Downloads	4
United Kingdom	Views	2
United Kingdom	Downloads	2
	Views	8
	Downloads	1
Japan	Views	1
Japan	Downloads	1
Sweden	Views	1
Sweden	Downloads	1
United States	Views	3
United States	Downloads	1
China	Views	2
China	Downloads	0
Switzerland	Views	2
Switzerland	Downloads	0
Slovenia	Views	1
Slovenia	Downloads	0
Taiwan	Views	1
Taiwan	Downloads	0