Index of /xml/Nijmegen/QArith/Qhomographic_Qpositive_to_Qpositive
Name
Last modified
Size
Description
Parent Directory
-
Z4.ind.types.xml.gz
2004-04-08 15:29
207
qle.con.types.xml.gz
2004-04-08 15:29
208
qlt.con.types.xml.gz
2004-04-08 15:29
208
Z4_lt.con.types.xml.gz
2004-04-08 15:29
212
Z_pos.ind.types.xml.gz
2004-04-08 15:29
212
Z4_eq.con.types.xml.gz
2004-04-08 15:29
213
bin_eq.con.types.xml.gz
2004-04-08 15:29
213
bin_lt.con.types.xml.gz
2004-04-08 15:29
213
z4crr.con.types.xml.gz
2004-04-08 15:29
213
Z4_rec.con.types.xml.gz
2004-04-08 15:29
214
zposcrr.con.types.xml.gz
2004-04-08 15:29
215
Z4_rect.con.types.xml.gz
2004-04-08 15:29
216
top_more.con.types.xml.gz
2004-04-08 15:28
216
Z_pos_rec.con.types.xml.gz
2004-04-08 15:29
219
Z_pos_rect.con.types.xml.gz
2004-04-08 15:29
220
homographicAcc.ind.types.xml.gz
2004-04-08 15:28
220
Qpositive_length.con.types.xml.gz
2004-04-08 15:29
227
quadrointegral_lt.con.types.xml.gz
2004-04-08 15:29
231
quadrointegral_eq.con.types.xml.gz
2004-04-08 15:29
234
Z4_as_well_ordering.con.types.xml.gz
2004-04-08 15:29
241
Qpositive_as_well_ordering.con.types.xml.gz
2004-04-08 15:29
242
Z4_as_well_ordering.con.xml.gz
2004-04-08 15:29
262
Qpositive_as_well_ordering.con.xml.gz
2004-04-08 15:29
272
bin_eq.con.xml.gz
2004-04-08 15:29
311
bin_lt.con.xml.gz
2004-04-08 15:29
311
Qpositive_length.con.xml.gz
2004-04-08 15:29
313
zposcrr.con.xml.gz
2004-04-08 15:29
315
Z4_lt.con.xml.gz
2004-04-08 15:29
324
top_more.con.xml.gz
2004-04-08 15:28
324
Z4_eq.con.xml.gz
2004-04-08 15:29
325
one_non_negative.con.xml.gz
2004-04-08 15:29
345
one_non_negative.con.body.xml.gz
2004-04-08 15:29
354
bin_lt_is_wf.con.xml.gz
2004-04-08 15:29
362
Z4_lt_is_order.con.xml.gz
2004-04-08 15:29
364
bin_lt_is_order.con.xml.gz
2004-04-08 15:29
364
two_non_negative.con.xml.gz
2004-04-08 15:29
364
Z4_lt_is_wf.con.xml.gz
2004-04-08 15:29
365
Z4_eq_is_equality.con.xml.gz
2004-04-08 15:29
369
three_non_negative.con.xml.gz
2004-04-08 15:29
369
bin_eq_is_equality.con.xml.gz
2004-04-08 15:29
370
quadrointegral_eq.con.xml.gz
2004-04-08 15:29
370
quadrointegral_lt.con.xml.gz
2004-04-08 15:29
370
two_non_negative.con.body.xml.gz
2004-04-08 15:29
375
qle.con.xml.gz
2004-04-08 15:29
376
three_non_negative.con.body.xml.gz
2004-04-08 15:29
378
four_non_negative.con.xml.gz
2004-04-08 15:29
379
qlt.con.xml.gz
2004-04-08 15:29
379
six_non_negative.con.xml.gz
2004-04-08 15:29
379
five_non_negative.con.xml.gz
2004-04-08 15:29
381
seven_non_negative.con.xml.gz
2004-04-08 15:29
381
bin_lt_is_well_def_rht.con.xml.gz
2004-04-08 15:29
394
five_non_negative.con.body.xml.gz
2004-04-08 15:29
394
four_non_negative.con.body.xml.gz
2004-04-08 15:29
394
six_non_negative.con.body.xml.gz
2004-04-08 15:29
394
Z4_lt_is_well_def_rht.con.xml.gz
2004-04-08 15:29
395
seven_non_negative.con.body.xml.gz
2004-04-08 15:29
396
z4crr.con.xml.gz
2004-04-08 15:29
398
one_non_negative.con.types.xml.gz
2004-04-08 15:29
399
one_plus_four_positive.con.body.xml.gz
2004-04-08 15:29
400
two_plus_three_positive.con.body.xml.gz
2004-04-08 15:29
401
Z4_eq_is_reflexive.con.xml.gz
2004-04-08 15:29
407
bin_eq_is_reflexive.con.xml.gz
2004-04-08 15:29
407
two_non_negative.con.types.xml.gz
2004-04-08 15:29
414
one_plus_four_positive.con.xml.gz
2004-04-08 15:29
415
three_non_negative.con.types.xml.gz
2004-04-08 15:29
417
bin_eq.con.body.xml.gz
2004-04-08 15:29
418
two_plus_three_positive.con.xml.gz
2004-04-08 15:29
419
Z4_as_well_ordering.con.body.xml.gz
2004-04-08 15:29
426
Z4_rec.con.body.xml.gz
2004-04-08 15:29
426
compare_dL.con.xml.gz
2004-04-08 15:29
427
compare_nR.con.xml.gz
2004-04-08 15:29
427
six_non_negative.con.types.xml.gz
2004-04-08 15:29
428
Z_pos_rec.con.body.xml.gz
2004-04-08 15:29
429
five_non_negative.con.types.xml.gz
2004-04-08 15:29
429
four_non_negative.con.types.xml.gz
2004-04-08 15:29
429
Z4_ind.con.body.xml.gz
2004-04-08 15:29
430
seven_non_negative.con.types.xml.gz
2004-04-08 15:29
431
Z_pos_ind.con.body.xml.gz
2004-04-08 15:29
434
Qpositive_as_well_ordering.con.body.xml.gz
2004-04-08 15:29
435
bin_eq_is_reflexive.con.body.xml.gz
2004-04-08 15:29
436
bin_lt_is_irreflexive.con.xml.gz
2004-04-08 15:29
443
Z4_lt_is_irreflexive.con.xml.gz
2004-04-08 15:29
446
bin_lt_is_irreflexive.con.body.xml.gz
2004-04-08 15:29
452
z4prf_Z_pos.con.xml.gz
2004-04-08 15:29
452
bin_lt.con.body.xml.gz
2004-04-08 15:29
462
Z4_eq_is_symmetric.con.xml.gz
2004-04-08 15:29
468
bin_eq_is_symmetric.con.xml.gz
2004-04-08 15:29
469
bin_lt_compat_via_length.con.body.xml.gz
2004-04-08 15:29
476
compare_dL.con.body.xml.gz
2004-04-08 15:29
478
compare_nR.con.body.xml.gz
2004-04-08 15:29
478
bin_eq_is_symmetric.con.body.xml.gz
2004-04-08 15:29
501
top_more_4.con.xml.gz
2004-04-08 15:28
504
bin_eq_is_transitive.con.xml.gz
2004-04-08 15:29
505
bin_lt_is_transitive.con.xml.gz
2004-04-08 15:29
506
Z4_lt_is_transitive.con.xml.gz
2004-04-08 15:29
509
top_more_4'.con.xml.gz
2004-04-08 15:28
509
Z4_eq_is_transitive.con.xml.gz
2004-04-08 15:29
510
Z_pos.ind.xml.gz
2004-04-08 15:29
513
homographicacc_wf_for_five_over_five.con.xml.gz
2004-04-08 15:29
516
bin_lt_is_transitive.con.body.xml.gz
2004-04-08 15:29
523
Qhomographic_Qpositive_to_Qpositive.con.xml.gz
2004-04-08 15:29
524
two_plus_three_positive.con.types.xml.gz
2004-04-08 15:29
526
bin_lt_compat_via_length.con.xml.gz
2004-04-08 15:29
528
bin_eq_is_transitive.con.body.xml.gz
2004-04-08 15:29
531
bin_eq_is_reflexive.con.types.xml.gz
2004-04-08 15:29
534
homographicacc_wf_for_five_over_five.con.types.xml.gz
2004-04-08 15:29
534
one_plus_four_positive.con.types.xml.gz
2004-04-08 15:29
541
top_more_2.con.xml.gz
2004-04-08 15:28
559
top_more.con.body.xml.gz
2004-04-08 15:28
577
top_more_informative.con.xml.gz
2004-04-08 15:28
577
homographicacc_0_num.con.xml.gz
2004-04-08 15:28
583
homographicacc_0_denom.con.xml.gz
2004-04-08 15:28
584
zposcrr.con.body.xml.gz
2004-04-08 15:29
590
top_more_3.con.xml.gz
2004-04-08 15:28
591
homographicacc_0_num_subproof.con.xml.gz
2004-04-08 15:28
603
homographicacc_wf_for_five_over_five.con.body.xml.gz
2004-04-08 15:29
603
homographicacc_0_num.con.body.xml.gz
2004-04-08 15:28
604
homographicacc_0_denom_subproof.con.xml.gz
2004-04-08 15:28
605
top_more_1.con.xml.gz
2004-04-08 15:28
606
homographicacc_0_denom.con.body.xml.gz
2004-04-08 15:28
607
bin_lt_is_irreflexive.con.types.xml.gz
2004-04-08 15:29
609
Z_pos_rect.con.xml.gz
2004-04-08 15:29
619
Z_pos_rec.con.xml.gz
2004-04-08 15:29
621
bin_lt_is_wf.con.body.xml.gz
2004-04-08 15:29
622
Z_pos_ind.con.xml.gz
2004-04-08 15:29
623
bin_eq_is_symmetric.con.types.xml.gz
2004-04-08 15:29
632
compare_dL.con.types.xml.gz
2004-04-08 15:29
636
compare_nR.con.types.xml.gz
2004-04-08 15:29
638
z4prf_Z_pos.con.body.xml.gz
2004-04-08 15:29
657
bin_lt_compat_via_length.con.types.xml.gz
2004-04-08 15:29
661
quadrointegral_lt.con.body.xml.gz
2004-04-08 15:29
664
Z_pos_lt_is_wf.con.xml.gz
2004-04-08 15:29
668
Z4_lt_is_order.con.body.xml.gz
2004-04-08 15:29
670
bin_lt_is_order.con.body.xml.gz
2004-04-08 15:29
672
bin_lt_is_well_def_rht.con.body.xml.gz
2004-04-08 15:29
672
top_more_5.con.xml.gz
2004-04-08 15:28
673
homographicacc_0_denom.con.types.xml.gz
2004-04-08 15:28
677
homographicacc_0_num.con.types.xml.gz
2004-04-08 15:28
677
top_more_5'.con.xml.gz
2004-04-08 15:28
682
quadrointegral_eq.con.body.xml.gz
2004-04-08 15:29
700
Z4_lt_is_order.con.types.xml.gz
2004-04-08 15:29
720
Qpositive_length.con.body.xml.gz
2004-04-08 15:29
723
bin_lt_is_order.con.types.xml.gz
2004-04-08 15:29
723
bin_eq_is_transitive.con.types.xml.gz
2004-04-08 15:29
728
Qhomographic_Qpositive_to_Qpositive_equal.con.xml.gz
2004-04-08 15:29
758
Z_pos_rect.con.body.xml.gz
2004-04-08 15:29
759
homographicAcc_wf.con.xml.gz
2004-04-08 15:29
763
Z_pos_ind.con.types.xml.gz
2004-04-08 15:29
764
homographicacc_1.con.xml.gz
2004-04-08 15:28
771
bin_lt_is_well_def_rht.con.types.xml.gz
2004-04-08 15:29
772
z4prf_Z_pos.con.types.xml.gz
2004-04-08 15:29
779
qlt.con.body.xml.gz
2004-04-08 15:29
804
bin_lt_is_transitive.con.types.xml.gz
2004-04-08 15:29
808
homographicacc_2.con.xml.gz
2004-04-08 15:28
828
homographicacc_3.con.xml.gz
2004-04-08 15:28
852
homographicacc_3'.con.xml.gz
2004-04-08 15:29
858
qle.con.body.xml.gz
2004-04-08 15:29
900
Qhomographic_Qpositive_to_Qpositive_0.con.xml.gz
2004-04-08 15:29
937
Z4_eq_is_equality.con.body.xml.gz
2004-04-08 15:29
1.0K
bin_eq_is_equality.con.body.xml.gz
2004-04-08 15:29
1.0K
Qhomographic_Qpositive_to_Qpositive_1.con.xml.gz
2004-04-08 15:29
1.0K
Z4_eq_is_equality.con.types.xml.gz
2004-04-08 15:29
1.0K
bin_eq_is_equality.con.types.xml.gz
2004-04-08 15:29
1.0K
Qhomographic_Qpositive_to_Qpositive_equal_strong.con.xml.gz
2004-04-08 15:29
1.0K
Qhomographic_Qpositive_to_Qpositive_3'.con.xml.gz
2004-04-08 15:29
1.0K
Qhomographic_Qpositive_to_Qpositive_3.con.xml.gz
2004-04-08 15:29
1.0K
Qhomographic_Qpositive_to_Qpositive_2.con.xml.gz
2004-04-08 15:29
1.1K
z4prf.con.xml.gz
2004-04-08 15:29
1.1K
Qhomographic_Qpositive_to_Qpositive.con.types.xml.gz
2004-04-08 15:29
1.2K
bin_lt_is_wf.con.types.xml.gz
2004-04-08 15:29
1.2K
Z4.ind.xml.gz
2004-04-08 15:29
1.2K
top_more_4.con.types.xml.gz
2004-04-08 15:28
1.2K
top_more_4'.con.types.xml.gz
2004-04-08 15:28
1.2K
qlt_wf_rec_without_zeros_and_One.con.xml.gz
2004-04-08 15:29
1.3K
top_more_4.con.body.xml.gz
2004-04-08 15:28
1.3K
top_more_4'.con.body.xml.gz
2004-04-08 15:28
1.3K
Z4_ind.con.xml.gz
2004-04-08 15:29
1.3K
Z4_rec.con.xml.gz
2004-04-08 15:29
1.3K
Z4_rect.con.xml.gz
2004-04-08 15:29
1.3K
z4crr.con.body.xml.gz
2004-04-08 15:29
1.3K
top_more_2.con.body.xml.gz
2004-04-08 15:28
1.4K
Z4_rect.con.body.xml.gz
2004-04-08 15:29
1.4K
top_more_2.con.types.xml.gz
2004-04-08 15:28
1.5K
Z4_lt.con.body.xml.gz
2004-04-08 15:29
1.7K
Z4_eq.con.body.xml.gz
2004-04-08 15:29
1.7K
Qhomographic_Qpositive_to_Qpositive_0.con.body.xml.gz
2004-04-08 15:29
1.8K
z4prf.con.body.xml.gz
2004-04-08 15:29
1.9K
Z4_ind.con.types.xml.gz
2004-04-08 15:29
2.0K
homographicAcc.ind.xml.gz
2004-04-08 15:28
2.1K
Z_pos_lt_is_wf.con.body.xml.gz
2004-04-08 15:29
2.3K
Z_pos_lt_is_wf.con.types.xml.gz
2004-04-08 15:29
2.4K
top_more_1.con.body.xml.gz
2004-04-08 15:28
2.4K
Qhomographic_Qpositive_to_Qpositive_0.con.types.xml.gz
2004-04-08 15:29
2.5K
top_more_1.con.types.xml.gz
2004-04-08 15:28
2.6K
homographicAcc_ind.con.xml.gz
2004-04-08 15:28
2.6K
top_more_informative.con.types.xml.gz
2004-04-08 15:28
3.1K
homographicAcc_ind_dep.con.xml.gz
2004-04-08 15:29
3.3K
Qhomographic_Qpositive_to_Qpositive_equal_strong.con.body.xml.gz
2004-04-08 15:29
3.5K
homographicacc_1.con.body.xml.gz
2004-04-08 15:28
3.7K
top_more_3.con.body.xml.gz
2004-04-08 15:28
3.8K
z4prf.con.types.xml.gz
2004-04-08 15:29
3.9K
homographicacc_2.con.body.xml.gz
2004-04-08 15:28
4.0K
Qhomographic_Qpositive_to_Qpositive.con.body.xml.gz
2004-04-08 15:29
4.1K
homographicacc_1.con.types.xml.gz
2004-04-08 15:28
4.2K
Qhomographic_Qpositive_to_Qpositive_equal_strong.con.types.xml.gz
2004-04-08 15:29
4.3K
top_more_5'.con.body.xml.gz
2004-04-08 15:28
4.5K
top_more_5.con.body.xml.gz
2004-04-08 15:28
4.5K
homographicacc_2.con.types.xml.gz
2004-04-08 15:28
4.6K
top_more_3.con.types.xml.gz
2004-04-08 15:28
5.2K
INDEX
2005-07-05 08:11
5.3K
homographicAcc_ind.con.body.xml.gz
2004-04-08 15:28
5.5K
top_more_5'.con.types.xml.gz
2004-04-08 15:28
5.5K
homographicAcc_ind.con.types.xml.gz
2004-04-08 15:28
5.5K
top_more_5.con.types.xml.gz
2004-04-08 15:28
5.6K
homographicacc_3'.con.body.xml.gz
2004-04-08 15:29
5.6K
homographicacc_3.con.body.xml.gz
2004-04-08 15:28
5.7K
Qhomographic_Qpositive_to_Qpositive_3.con.body.xml.gz
2004-04-08 15:29
5.8K
Qhomographic_Qpositive_to_Qpositive_3'.con.body.xml.gz
2004-04-08 15:29
5.8K
Z4_lt_is_irreflexive.con.body.xml.gz
2004-04-08 15:29
6.1K
homographicAcc_ind_dep.con.body.xml.gz
2004-04-08 15:29
6.1K
top_more_informative.con.body.xml.gz
2004-04-08 15:28
6.2K
Z4_eq_is_reflexive.con.body.xml.gz
2004-04-08 15:29
6.4K
homographicacc_3'.con.types.xml.gz
2004-04-08 15:29
6.4K
homographicacc_3.con.types.xml.gz
2004-04-08 15:29
6.5K
homographicAcc_ind_dep.con.types.xml.gz
2004-04-08 15:29
7.8K
Z4_lt_is_irreflexive.con.types.xml.gz
2004-04-08 15:29
8.0K
Z4_eq_is_reflexive.con.types.xml.gz
2004-04-08 15:29
8.2K
Qhomographic_Qpositive_to_Qpositive_1.con.body.xml.gz
2004-04-08 15:29
11K
Qhomographic_Qpositive_to_Qpositive_2.con.body.xml.gz
2004-04-08 15:29
13K
Qhomographic_Qpositive_to_Qpositive_3'.con.types.xml.gz
2004-04-08 15:29
16K
Qhomographic_Qpositive_to_Qpositive_3.con.types.xml.gz
2004-04-08 15:29
16K
Z4_lt_is_wf.con.body.xml.gz
2004-04-08 15:29
23K
Z4_eq_is_symmetric.con.body.xml.gz
2004-04-08 15:29
23K
homographicacc_0_num_subproof.con.body.xml.gz
2004-04-08 15:28
24K
homographicacc_0_denom_subproof.con.body.xml.gz
2004-04-08 15:28
24K
Z4_lt_is_transitive.con.body.xml.gz
2004-04-08 15:29
24K
Z4_lt_is_well_def_rht.con.body.xml.gz
2004-04-08 15:29
27K
qlt_wf_rec_without_zeros_and_One.con.body.xml.gz
2004-04-08 15:29
28K
Z4_eq_is_transitive.con.body.xml.gz
2004-04-08 15:29
29K
homographicacc_0_num_subproof.con.types.xml.gz
2004-04-08 15:28
30K
homographicacc_0_denom_subproof.con.types.xml.gz
2004-04-08 15:28
30K
homographicAcc_wf.con.body.xml.gz
2004-04-08 15:29
30K
homographicAcc_wf.con.types.xml.gz
2004-04-08 15:29
32K
Z4_lt_is_transitive.con.types.xml.gz
2004-04-08 15:29
34K
Z4_lt_is_well_def_rht.con.types.xml.gz
2004-04-08 15:29
35K
Qhomographic_Qpositive_to_Qpositive_1.con.types.xml.gz
2004-04-08 15:29
35K
Z4_eq_is_symmetric.con.types.xml.gz
2004-04-08 15:29
36K
Z4_eq_is_transitive.con.types.xml.gz
2004-04-08 15:29
38K
Qhomographic_Qpositive_to_Qpositive_2.con.types.xml.gz
2004-04-08 15:29
43K
Z4_lt_is_wf.con.types.xml.gz
2004-04-08 15:29
61K
qlt_wf_rec_without_zeros_and_One.con.types.xml.gz
2004-04-08 15:29
66K
Qhomographic_Qpositive_to_Qpositive_equal.con.body.xml.gz
2004-04-08 15:29
135K
Qhomographic_Qpositive_to_Qpositive_equal.con.types.xml.gz
2004-04-08 15:29
337K
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80