|
List
Index
Title: |
List Index |
Author:
|
Tobias Nipkow
|
Submission date: |
2010-02-20 |
Abstract: |
This theory provides functions for finding the index of an element in a list, by predicate and by value. |
BibTeX: |
@article{List-Index-AFP,
author = {Tobias Nipkow},
title = {List Index},
journal = {Archive of Formal Proofs},
month = feb,
year = 2010,
note = {\url{https://isa-afp.org/entries/List-Index.html},
Formal proof development},
ISSN = {2150-914x},
}
|
License: |
BSD License |
Used by: |
Affine_Arithmetic, Comparison_Sort_Lower_Bound, Dominance_CHK, Formula_Derivatives, Gale_Shapley, Higher_Order_Terms, Jinja, JinjaDCI, List_Update, LTL_to_DRA, Metalogic_ProofChecker, MSO_Regex_Equivalence, Nested_Multisets_Ordinals, Ordinary_Differential_Equations, Planarity_Certificates, Quick_Sort_Cost, Randomised_Social_Choice, Refine_Imperative_HOL, Smith_Normal_Form, Verified_SAT_Based_AI_Planning |
Status: [ok] |
This is a development version of this entry. It might change over time
and is not stable. Please refer to release versions for citations.
|
|