Proving Properties about Functions on Lists Involving Element Tests release_25zvp5sjjfhsfi5fjhsixfdirq

by Daniel Seidel, Janis Voigtländer

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2012   p270-286

Archived Files and Locations

application/pdf  407.7 kB
file_vhbwqvkudvarji2ejybhlp5s34
www.janis-voigtlaender.eu (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2012
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 3297178f-e8b1-4d9c-8a65-1ee840809058
API URL: JSON