Isabelle logo

Manuel Eberl

Chair for Logic and Verification

Prov­ing Di­vide and Con­quer Com­plex­it­ies in Isa­belle/­HOL

by Manuel Eberl

In: Journal of Auto­mated Reas­on­ing (2016)

DOI:

10.1007/s10817-016-9378-0

Download preprint PDF (381 KiB)

BibTeX:

@Article{eberl17jar,
author="Manuel Eberl",
title="Proving Divide and Conquer Complexities in {I}sabelle/{HOL}",
journal="Journal of Automated Reasoning",
year="2017",
month="Apr",
day="01",
volume="58",
number="4",
pages="483--508",
doi="10.1007/s10817-016-9378-0",
issn="1573-0670"
}

Download BibTeX (286 Bytes)