zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo

Interpolation-based height analysis for improving a recurrence solver. (English) Zbl 1367.68071

Peña, Ricardo (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). Lecture Notes in Computer Science 7177, 36-53 (2012).

MSC: 68N30

BibTeX Cite

Full Text: DOI

Peña, Ricardo (ed.); van Eekelen, Marko (ed.); Shkaravska, Olha (ed.)

Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. (English) Zbl 1250.68046

Lecture Notes in Computer Science 7177. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). ix, 143 p. (2012).

MSC: 68-06 68Nxx 68Qxx 00B25

BibTeX Cite

any	anywhere	an	internal document identifier
au	author, editor	ai	internal author identifier
ti	title	la	language
so	source	ab	review, abstract
py	publication year	rv	reviewer
cc	MSC code	ut	uncontrolled term
dt	document type (j: journal article; b: book; a: book article)

a & b	logic and
a \| b	logic or
!ab	logic not
abc*	right wildcard
"ab c"	phrase
(ab c)	parentheses

zbMATH — the first resource for mathematics

Examples

Fields

Operators

Found 2 Documents (Results 1–2)

Filter Results by …

Document Type

Author

Classification

Software