Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/PVS/orders/

Quellcodebibliothek

Verzeichnis products/sources/formale Sprachen/PVS/orders/

Original von: 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