Quellcode-Bibliothek

Datei: products/sources/formale Sprachen/PVS/orders/

Dauer der Verarbeitung: Beweissystem bei der NASA ^©

booleans_are_finite.prf
booleans_are_finite.pvs
bounded_integers.prf
bounded_integers.pvs
bounded_nats.prf
bounded_nats.pvs
bounded_order_props.prf
bounded_order_props.pvs
bounded_orders.prf
bounded_orders.pvs
bounded_sets.prf
bounded_sets.pvs
chain.prf
chain.pvs
chain_chain.prf
chain_chain.pvs
closure_ops.prf
closure_ops.pvs
complementary_lattices.prf
complementary_lattices.pvs
complementary_orders.prf
complementary_orders.pvs
complete_lattices.prf
complete_lattices.pvs
complete_lower_semilattices.prf
complete_lower_semilattices.pvs
complete_upper_semilattices.prf
complete_upper_semilattices.pvs
converse_zorn.prf
converse_zorn.pvs
directed_order_props.prf
directed_order_props.pvs
directed_orders.prf
directed_orders.pvs
finite_below.prf
finite_below.pvs
finite_orders.prf
finite_orders.pvs
finite_pointwise_orders.prf
finite_pointwise_orders.pvs
finite_total_orders.prf
finite_total_orders.pvs
finite_types.prf
finite_types.pvs
fixed_points.prf
fixed_points.pvs
function_image_extra.prf
function_image_extra.pvs
indexed_sets_extra.prf
indexed_sets_extra.pvs
infinite_pigeonhole.prf
infinite_pigeonhole.pvs
integer_enumerations.prf
integer_enumerations.pvs
isomorphism.prf
isomorphism.pvs
isomorphism_equivalence.prf
isomorphism_equivalence.pvs
isomorphism_symmetric.prf
isomorphism_symmetric.pvs
isomorphism_transitive.prf
isomorphism_transitive.pvs
kuratowski.prf
kuratowski.pvs
lattices.prf
lattices.pvs
lex3.prf
lex3.pvs
lift_props.prf
lift_props.pvs
lifted_orders.prf
lifted_orders.pvs
lower_semilattices.prf
lower_semilattices.pvs
minmax_orders.prf
minmax_orders.pvs
monotone_functions.prf
monotone_functions.pvs
monotone_sequences.prf
monotone_sequences.pvs
mucalculus_prop.prf
mucalculus_prop.pvs
new_mucalculus_prop.prf
new_mucalculus_prop.pvs
non_empty_bounded_sets.prf
non_empty_bounded_sets.pvs
numbers_infinite.prf
numbers_infinite.pvs
order_strength.prf
order_strength.pvs
ordered_int.prf
ordered_int.pvs
ordered_nat.prf
ordered_nat.pvs
ordered_subset.prf
ordered_subset.pvs
partial_order_lift.prf
partial_order_lift.pvs
partial_order_props.prf
partial_order_props.pvs
pointwise_orders.prf
pointwise_orders.pvs
product_orders.prf
product_orders.pvs
range.prf
range.pvs
range_real.prf
range_real.pvs
relation_iterate.prf
relation_iterate.pvs
relations_extra.prf
relations_extra.pvs
set_antisymmetric.prf
set_antisymmetric.pvs
set_dichotomous.prf
set_dichotomous.pvs
sets_complete_lattices.prf
sets_complete_lattices.pvs
similarity.prf
similarity.pvs
similarity_props.prf
similarity_props.pvs
skolemization.prf
skolemization.pvs
subset_chain.prf
subset_chain.pvs
sum_orders.prf
sum_orders.pvs
top.pvs
top_hier.ps
total_lattices.prf
total_lattices.pvs
upper_semilattices.prf
upper_semilattices.pvs
well_foundedness.prf
well_foundedness.pvs
well_nat.prf
well_nat.pvs
well_ordered_finite.prf
well_ordered_finite.pvs
well_ordered_props.prf
well_ordered_props.pvs
well_ordered_traversal.prf
well_ordered_traversal.pvs
well_ordering.prf
well_ordering.pvs
zorn.prf
zorn.pvs




Bemerkung: