Index of /LIP/REWRITING/CONTRIBUTIONS

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -
[ ]2.gz05-Nov-2003 09:06 2.3K
[ ]3.gz05-Nov-2003 09:06 3.7K
[ ]4.gz05-Nov-2003 09:06 852
[ ]5.gz05-Nov-2003 09:06 1.4K
[ ]6.gz05-Nov-2003 09:06 2.3K
[ ]7.gz05-Nov-2003 09:06 1.1K
[ ]805-Nov-2003 09:06 6.0K
[ ]8.gz05-Nov-2003 09:06 2.6K
[ ]9.gz05-Nov-2003 09:06 795
[ ]10.gz05-Nov-2003 09:06 531
[ ]11.gz05-Nov-2003 09:06 596
[ ]12.gz05-Nov-2003 09:06 835
[ ]13.gz05-Nov-2003 09:06 3.4K
[ ]14.gz05-Nov-2003 09:06 1.2K
[ ]15.gz05-Nov-2003 09:06 380
[ ]16.gz05-Nov-2003 09:06 626
[ ]17.gz05-Nov-2003 09:06 311
[ ]18.gz05-Nov-2003 09:06 3.2K
[ ]19.gz05-Nov-2003 09:06 391
[ ]20.gz05-Nov-2003 09:06 1.7K
[ ]21.gz05-Nov-2003 09:06 2.2K
[ ]22.gz05-Nov-2003 09:06 205
[ ]23.gz05-Nov-2003 09:06 1.0K
[ ]24.gz05-Nov-2003 09:06 729
[ ]25.gz05-Nov-2003 09:06 674
[ ]26.gz05-Nov-2003 09:06 385
[ ]27.gz05-Nov-2003 09:06 1.7K
[ ]28.gz05-Nov-2003 09:06 762
[ ]29.gz05-Nov-2003 09:06 3.5K
[ ]30.gz05-Nov-2003 09:06 797
[ ]31.gz05-Nov-2003 09:06 1.7K
[ ]32.gz05-Nov-2003 09:06 1.3K
[ ]33.gz05-Nov-2003 09:06 2.0K
[ ]34.gz05-Nov-2003 09:06 1.2K
[ ]35.gz05-Nov-2003 09:06 5.4K
[ ]36.gz05-Nov-2003 09:06 1.3K
[ ]37.gz05-Nov-2003 09:06 515
[ ]38.gz05-Nov-2003 09:06 1.4K
[ ]39.gz05-Nov-2003 09:06 692
[ ]40.gz05-Nov-2003 09:06 875
[ ]41.gz05-Nov-2003 09:06 591
[ ]42.gz05-Nov-2003 09:06 1.0K
[ ]43.gz05-Nov-2003 09:06 464
[ ]44.gz05-Nov-2003 09:06 400
[ ]45.gz05-Nov-2003 09:06 1.2K
[ ]46.gz05-Nov-2003 09:06 2.2K
[ ]47.gz05-Nov-2003 09:06 1.4K
[ ]48.gz05-Nov-2003 09:06 1.6K
[ ]49.gz05-Nov-2003 09:06 306
[ ]50.gz05-Nov-2003 09:06 1.1K
[ ]51.gz05-Nov-2003 09:06 252
[ ]52.gz05-Nov-2003 09:06 1.0K
[ ]53.gz05-Nov-2003 09:06 852
[ ]54.gz05-Nov-2003 09:06 739
[ ]55.gz05-Nov-2003 09:06 460
[ ]56.gz05-Nov-2003 09:06 1.1K
[ ]57.gz05-Nov-2003 09:06 1.3K
[ ]58.gz05-Nov-2003 09:06 1.5K
[ ]59.gz05-Nov-2003 09:06 1.8K
[ ]60.gz05-Nov-2003 09:06 904
[ ]61.gz05-Nov-2003 09:06 1.4K
[ ]62.gz05-Nov-2003 09:06 480
[ ]63.gz05-Nov-2003 09:06 1.7K
[ ]64.gz05-Nov-2003 09:06 1.8K
[ ]65.gz05-Nov-2003 09:06 1.1K
[ ]66.gz05-Nov-2003 09:06 272
[ ]67.gz05-Nov-2003 09:06 766
[ ]68.gz05-Nov-2003 09:06 475
[ ]69.gz05-Nov-2003 09:06 2.7K
[ ]70.gz05-Nov-2003 09:06 307
[ ]71.gz05-Nov-2003 09:06 236
[ ]72.gz05-Nov-2003 09:06 7.7K
[ ]73.gz05-Nov-2003 09:06 3.5K
[ ]74.gz05-Nov-2003 09:06 8.0K
[ ]75.gz05-Nov-2003 09:06 803
[ ]76.gz05-Nov-2003 09:06 896
[ ]77.gz05-Nov-2003 09:06 6.3K
[ ]78.gz05-Nov-2003 09:06 325
[ ]79.gz05-Nov-2003 09:06 1.1K
[ ]80.gz05-Nov-2003 09:06 1.2K
[ ]81.gz05-Nov-2003 09:06 2.3K
[ ]82.gz05-Nov-2003 09:06 194
[ ]83.gz05-Nov-2003 09:06 1.7K
[ ]84.gz05-Nov-2003 09:06 332
[ ]85.gz05-Nov-2003 09:06 1.7K
[ ]86.gz05-Nov-2003 09:06 4.3K
[ ]87.gz05-Nov-2003 09:06 1.2K
[ ]88.gz05-Nov-2003 09:06 266
[ ]89.gz05-Nov-2003 09:06 302
[ ]90.gz05-Nov-2003 09:06 555
[ ]91.gz05-Nov-2003 09:06 1.6K
[ ]92.gz05-Nov-2003 09:06 751
[ ]93.gz05-Nov-2003 09:06 343
[ ]94.gz05-Nov-2003 09:06 1.7K
[ ]95.gz05-Nov-2003 09:06 2.8K
[ ]96.gz05-Nov-2003 09:06 230
[ ]97.gz05-Nov-2003 09:06 1.1K
[ ]98.gz05-Nov-2003 09:06 2.0K
[ ]99.gz05-Nov-2003 09:06 726
[ ]100.gz05-Nov-2003 09:06 1.1K
[ ]101.gz05-Nov-2003 09:06 1.4K
[ ]102.gz05-Nov-2003 09:06 2.3K
[ ]103.gz05-Nov-2003 09:06 1.2K
[ ]104.gz05-Nov-2003 09:06 399
[ ]105.gz05-Nov-2003 09:06 1.4K
[ ]106.gz05-Nov-2003 09:06 279
[ ]107.gz05-Nov-2003 09:06 6.1K
[ ]108.gz05-Nov-2003 09:06 1.6K
[ ]109.gz05-Nov-2003 09:06 1.6K
[ ]110.gz05-Nov-2003 09:06 804
[ ]111.gz05-Nov-2003 09:06 1.4K
[ ]112.gz05-Nov-2003 09:06 1.9K
[ ]113.gz05-Nov-2003 09:06 2.1K
[ ]114.gz05-Nov-2003 09:06 12K
[ ]115.gz05-Nov-2003 09:06 1.2K
[ ]116.gz05-Nov-2003 09:06 780
[ ]117.gz05-Nov-2003 09:06 729
[ ]118.gz05-Nov-2003 09:06 296
[ ]119.gz05-Nov-2003 09:06 1.0K
[ ]120.gz05-Nov-2003 09:06 304
[ ]121.gz05-Nov-2003 09:06 1.4K
[ ]122.gz05-Nov-2003 09:06 5.2K
[ ]123.gz05-Nov-2003 09:06 703
[ ]124.gz05-Nov-2003 09:06 1.0K
[ ]125.gz05-Nov-2003 09:06 2.6K
[ ]126.gz05-Nov-2003 09:06 1.5K
[ ]127.gz05-Nov-2003 09:06 2.2K
[ ]128.gz05-Nov-2003 09:06 2.8K
[ ]129.gz05-Nov-2003 09:06 1.5K
[ ]130.gz05-Nov-2003 09:06 166
[ ]131.gz05-Nov-2003 09:06 613
[ ]132.gz05-Nov-2003 09:06 3.9K
[ ]133.gz05-Nov-2003 09:06 1.6K
[ ]134.gz05-Nov-2003 09:06 700
[ ]135.gz05-Nov-2003 09:06 490
[ ]136.gz05-Nov-2003 09:06 1.2K
[ ]137.gz05-Nov-2003 09:06 264
[ ]138.gz05-Nov-2003 09:06 856
[ ]139.gz05-Nov-2003 09:06 275
[ ]140.gz05-Nov-2003 09:06 1.9K
[ ]141.gz05-Nov-2003 09:06 653
[ ]142.gz05-Nov-2003 09:06 685
[ ]143.gz05-Nov-2003 09:06 1.0K
[ ]144.gz05-Nov-2003 09:06 4.3K
[ ]145.gz05-Nov-2003 09:06 543
[ ]146.gz05-Nov-2003 09:06 3.1K
[ ]147.gz05-Nov-2003 09:06 7.2K
[ ]148.gz05-Nov-2003 09:06 3.1K
[ ]149.gz05-Nov-2003 09:06 427
[ ]150.gz05-Nov-2003 09:06 406
[ ]151.gz05-Nov-2003 09:06 2.0K
[ ]152.gz05-Nov-2003 09:06 262
[ ]153.gz05-Nov-2003 09:06 2.1K
[ ]154.gz05-Nov-2003 09:06 4.3K
[ ]155.gz05-Nov-2003 09:06 1.0K
[ ]156.gz05-Nov-2003 09:06 733
[ ]157.gz05-Nov-2003 09:06 607
[ ]158.gz05-Nov-2003 09:06 1.8K
[ ]159.gz05-Nov-2003 09:06 5.3K
[ ]160.gz05-Nov-2003 09:06 789
[ ]161.gz05-Nov-2003 09:06 512
[ ]162.gz05-Nov-2003 09:06 365
[ ]163.gz05-Nov-2003 09:06 923
[ ]164.gz05-Nov-2003 09:06 2.0K
[ ]165.gz05-Nov-2003 09:06 433
[ ]166.gz05-Nov-2003 09:06 807
[ ]167.gz05-Nov-2003 09:06 194
[ ]168.gz05-Nov-2003 09:06 331
[ ]169.gz05-Nov-2003 09:06 940
[ ]170.gz05-Nov-2003 09:06 209
[ ]171.gz05-Nov-2003 09:06 158
[ ]172.gz05-Nov-2003 09:06 864
[ ]173.gz05-Nov-2003 09:06 8.9K
[ ]174.gz05-Nov-2003 09:06 665
[ ]175.gz05-Nov-2003 09:06 876
[ ]176.gz05-Nov-2003 09:06 948
[ ]177.gz05-Nov-2003 09:06 1.0K
[ ]178.gz05-Nov-2003 09:06 327
[ ]179.gz05-Nov-2003 09:06 382
[ ]180.gz05-Nov-2003 09:06 135
[ ]181.gz05-Nov-2003 09:06 618
[ ]182.gz05-Nov-2003 09:06 745
[ ]183.gz05-Nov-2003 09:06 639
[ ]184.gz05-Nov-2003 09:06 2.4K
[ ]185.gz05-Nov-2003 09:06 1.6K
[ ]186.gz05-Nov-2003 09:06 1.2K
[ ]187.gz05-Nov-2003 09:06 1.9K
[ ]188.gz05-Nov-2003 09:06 255
[ ]189.gz05-Nov-2003 09:06 1.7K
[ ]190.gz05-Nov-2003 09:06 5.0K
[ ]191.gz05-Nov-2003 09:06 1.0K
[ ]192_Problem_with_words.gz05-Nov-2003 09:06 827
[ ]193.gz05-Nov-2003 09:06 1.2K
[ ]194.gz05-Nov-2003 09:06 423
[ ]195.gz05-Nov-2003 09:06 652
[ ]196.gz05-Nov-2003 09:06 433
[ ]197.gz05-Nov-2003 09:06 2.2K
[ ]198.gz05-Nov-2003 09:06 2.0K
[ ]199.gz05-Nov-2003 09:06 1.8K
[ ]200.gz05-Nov-2003 09:06 1.3K
[ ]201.gz05-Nov-2003 09:06 2.0K
[ ]202.gz05-Nov-2003 09:06 2.1K
[ ]203.gz05-Nov-2003 09:06 4.2K
[ ]204.gz05-Nov-2003 09:06 493
[ ]205.gz05-Nov-2003 09:06 559
[ ]206.gz05-Nov-2003 09:06 359
[ ]207.gz05-Nov-2003 09:06 452
[ ]208.gz05-Nov-2003 09:06 1.0K
[ ]209.gz05-Nov-2003 09:06 7.1K
[ ]210.gz05-Nov-2003 09:06 6.4K
[ ]211.gz05-Nov-2003 09:06 2.1K
[ ]212.gz05-Nov-2003 09:06 1.4K
[ ]213.gz05-Nov-2003 09:06 1.1K
[ ]214.gz05-Nov-2003 09:06 1.7K
[ ]215.gz05-Nov-2003 09:06 754
[ ]216.gz05-Nov-2003 09:06 1.5K
[ ]217.gz05-Nov-2003 09:06 401
[ ]218.gz05-Nov-2003 09:06 608
[ ]219.gz05-Nov-2003 09:06 1.5K
[ ]220.gz05-Nov-2003 09:06 1.7K
[ ]221.gz05-Nov-2003 09:06 7.2K
[ ]222.gz05-Nov-2003 09:06 1.2K
[ ]223.gz05-Nov-2003 09:06 316
[ ]224.gz05-Nov-2003 09:06 681
[ ]225.gz05-Nov-2003 09:06 1.3K
[ ]226.gz05-Nov-2003 09:06 201
[ ]227.gz05-Nov-2003 09:06 229
[ ]228.gz05-Nov-2003 09:06 398
[ ]229.gz05-Nov-2003 09:06 1.1K
[ ]230.gz05-Nov-2003 09:06 1.5K
[ ]231.gz05-Nov-2003 09:06 587
[ ]232.gz05-Nov-2003 09:06 312
[ ]233.gz05-Nov-2003 09:06 287
[ ]234.gz05-Nov-2003 09:06 1.1K
[ ]235.gz05-Nov-2003 09:06 788
[ ]236.gz05-Nov-2003 09:06 1.5K
[ ]237.gz05-Nov-2003 09:06 872
[ ]238.gz05-Nov-2003 09:06 1.3K
[ ]239.gz05-Nov-2003 09:06 1.7K
[ ]240.gz05-Nov-2003 09:06 1.3K
[ ]241.gz05-Nov-2003 09:06 2.2K
[ ]242.gz05-Nov-2003 09:06 595
[ ]243.gz05-Nov-2003 09:06 924
[ ]244.gz05-Nov-2003 09:06 669
[ ]245.gz05-Nov-2003 09:06 2.5K
[ ]246.gz05-Nov-2003 09:06 290
[ ]247.gz05-Nov-2003 09:06 546
[ ]248.gz05-Nov-2003 09:06 379
[ ]249.gz05-Nov-2003 09:06 1.2K
[ ]250.gz05-Nov-2003 09:06 881
[ ]251.gz05-Nov-2003 09:06 1.3K
[ ]252.gz05-Nov-2003 09:06 914
[ ]253.gz05-Nov-2003 09:06 1.7K
[ ]254.gz05-Nov-2003 09:06 1.4K
[ ]255.gz05-Nov-2003 09:06 827
[ ]256.gz05-Nov-2003 09:06 885
[ ]257.gz05-Nov-2003 09:06 2.7K
[ ]258.gz05-Nov-2003 09:06 1.2K
[ ]259.gz05-Nov-2003 09:06 3.5K
[ ]260.gz05-Nov-2003 09:06 2.6K
[ ]261.gz05-Nov-2003 09:06 654
[ ]262.gz05-Nov-2003 09:06 1.9K
[ ]263.gz05-Nov-2003 09:06 7.5K
[ ]264.gz05-Nov-2003 09:06 3.3K
[ ]265.gz05-Nov-2003 09:06 562
[ ]266.gz05-Nov-2003 09:06 2.6K
[ ]267.gz05-Nov-2003 09:06 599
[ ]268.gz05-Nov-2003 09:06 1.1K
[ ]269.gz05-Nov-2003 09:06 1.2K
[ ]270.gz05-Nov-2003 09:06 418
[ ]271.gz05-Nov-2003 09:06 1.8K
[ ]272.gz05-Nov-2003 09:06 1.9K
[ ]273.gz05-Nov-2003 09:06 1.5K
[ ]274.gz05-Nov-2003 09:06 2.8K
[ ]275.gz05-Nov-2003 09:06 2.7K
[ ]276.gz05-Nov-2003 09:06 2.1K
[ ]277.gz05-Nov-2003 09:06 1.7K
[ ]278.gz05-Nov-2003 09:06 1.5K
[ ]279.gz05-Nov-2003 09:06 3.4K
[ ]280.gz05-Nov-2003 09:06 1.3K
[ ]281.gz05-Nov-2003 09:06 1.2K
[ ]282.gz05-Nov-2003 09:06 376
[ ]283.gz05-Nov-2003 09:06 793
[ ]284.gz05-Nov-2003 09:06 617
[ ]285.gz05-Nov-2003 09:06 1.3K
[ ]286.gz05-Nov-2003 09:06 1.7K
[ ]287.gz05-Nov-2003 09:06 804
[ ]288.gz05-Nov-2003 09:06 39K
[ ]289.gz05-Nov-2003 09:06 1.8K
[ ]290.gz05-Nov-2003 09:06 2.7K
[ ]291.gz05-Nov-2003 09:06 8.3K
[ ]292.gz05-Nov-2003 09:06 1.9K
[ ]293.gz05-Nov-2003 09:06 1.2K
[ ]294.gz05-Nov-2003 09:06 1.9K
[ ]295.gz05-Nov-2003 09:06 477
[ ]296.gz05-Nov-2003 09:06 7.7K
[ ]297_RTA.gz05-Nov-2003 09:06 1.6K
[ ]298_RTA_TeX.gz05-Nov-2003 09:06 2.0K
[ ]299.gz05-Nov-2003 09:06 1.4K
[ ]300.gz05-Nov-2003 09:06 244
[ ]301.gz05-Nov-2003 09:06 3.9K
[ ]302.gz05-Nov-2003 09:06 1.6K
[ ]303.gz05-Nov-2003 09:06 2.3K
[ ]304.gz05-Nov-2003 09:06 1.0K
[ ]305.gz05-Nov-2003 09:06 4.8K
[ ]306.gz05-Nov-2003 09:06 2.0K
[ ]307.gz05-Nov-2003 09:06 915
[ ]308.gz05-Nov-2003 09:06 425
[ ]309.gz05-Nov-2003 09:06 2.3K
[ ]310.gz05-Nov-2003 09:06 1.4K
[ ]311.gz05-Nov-2003 09:06 750
[ ]312.gz05-Nov-2003 09:06 1.1K
[ ]313.gz05-Nov-2003 09:06 1.4K
[ ]314.gz05-Nov-2003 09:06 2.2K
[ ]315.gz05-Nov-2003 09:06 3.2K
[ ]316.gz05-Nov-2003 09:06 1.2K
[ ]317.gz05-Nov-2003 09:06 3.9K
[ ]318.gz05-Nov-2003 09:06 1.8K
[ ]319.gz05-Nov-2003 09:06 389
[ ]320.gz05-Nov-2003 09:06 1.2K
[ ]321.gz05-Nov-2003 09:06 226
[ ]322_AC-equality.gz05-Nov-2003 09:06 356
[ ]323_Ordered_Rewriting.gz05-Nov-2003 09:06 250
[ ]324_typed_rewriting.gz05-Nov-2003 09:06 784
[ ]325_typed_rewriting_(more).gz05-Nov-2003 09:06 706
[ ]326_typed_rewriting_(more2).gz05-Nov-2003 09:06 1.3K
[ ]327_LICS_95.gz05-Nov-2003 09:06 2.5K
[ ]328_typed_rewriting_(more3).gz05-Nov-2003 09:06 5.0K
[ ]329_lectureships_St_Andrews.gz05-Nov-2003 09:06 943
[ ]330_RTA_95_final_call.gz05-Nov-2003 09:06 1.5K
[ ]331_Higher_Order_Rewrite_Systems.gz05-Nov-2003 09:06 502
[ ]332_Home_page_on_Logical_Framework.gz05-Nov-2003 09:06 845
[ ]333_Unification_with_extended_patterns.gz05-Nov-2003 09:06 751
[ ]334_Higher_order_subtitutions.gz05-Nov-2003 09:06 951
[ ]335_Worshop_on_logic_program_synthesis.gz05-Nov-2003 09:06 2.8K
[ ]336_Higher_Order_Rewrite_Systems.gz05-Nov-2003 09:06 680
[ ]337_LICS_95_call_for_papers.gz05-Nov-2003 09:06 2.6K
[ ]338_Open_Questions_in_Rewriting_Theory.gz05-Nov-2003 09:06 444
[ ]339_Construction_of_computational_Logics.gz05-Nov-2003 09:06 1.6K
[ ]340_UNIF_95.gz05-Nov-2003 09:06 2.0K
[ ]341_Workshop_on_termination.gz05-Nov-2003 09:06 1.5K
[ ]342_CFP_extension.gz05-Nov-2003 09:06 1.9K
[ ]343_TLCA_95.gz05-Nov-2003 09:06 1.9K
[ ]344_Organisation_of_CADE.gz05-Nov-2003 09:06 4.9K
[ ]345_D.Schmidt_Habilschrifts_on_wqo.gz05-Nov-2003 09:06 733
[ ]346_RTA_95_list_of_accepted_papers.gz05-Nov-2003 09:06 2.0K
[ ]347_RTA_95_list_of_accepted_papers_Latex.gz05-Nov-2003 09:06 2.5K
[ ]348_Deduction_on_the_WWW.gz05-Nov-2003 09:06 866
[ ]349_Termination_Workshop.gz05-Nov-2003 09:06 1.1K
[ ]350_Finding_critical_pairs.gz05-Nov-2003 09:06 356
[ ]351_Finding_critical_pairs_______answers.gz05-Nov-2003 09:06 1.0K
[ ]352_POSSO_workshop.gz05-Nov-2003 09:06 1.0K
[ ]353_Homepage_for_UNIF.gz05-Nov-2003 09:06 508
[ ]354_Release_3_1_of_LP_the_Larch_Prover.gz05-Nov-2003 09:06 1.0K
[ ]355_Conf_Symbolic_Rewriting.gz05-Nov-2003 09:06 3.0K
[ ]356_Visiting_positions__abstract_interp.gz05-Nov-2003 09:06 2.4K
[ ]357_postdocs_HCM_SOL.gz05-Nov-2003 09:06 1.2K
[ ]358_Higher_Order_Algebra__HOA_95.gz05-Nov-2003 09:06 727
[ ]359_HCM__call_for_application.gz05-Nov-2003 09:06 942
[ ]360_RTA_95.gz05-Nov-2003 09:06 8.2K
[ ]361_TLCA_95.gz05-Nov-2003 09:06 6.2K
[ ]362_Worshop_on_TP_with_Analytic_Tableaux.gz05-Nov-2003 09:06 6.4K
[ ]363_Course_on_ISABELLE.gz05-Nov-2003 09:06 708
[ ]364_Tbilissi_Symp_on_Languages_Logic_Comput.gz05-Nov-2003 09:06 2.9K
[ ]365_LICS_95.gz05-Nov-2003 09:06 2.0K
[ ]366_CP_95.gz05-Nov-2003 09:06 4.3K
[ ]367_SEGRAGRA_95.gz05-Nov-2003 09:06 3.7K
[ ]368_Positions_doc_and_post_doc_in_Aut_Deduc.gz05-Nov-2003 09:06 1.0K
[ ]369_Associative_unification_and_rewriting.gz05-Nov-2003 09:06 343
[ ]370_French_Days_on_Logic_Programming.gz05-Nov-2003 09:06 6.0K
[ ]371_LICS_95.gz05-Nov-2003 09:06 13K
[ ]372_SEGRAGRA_95_2nd_call.gz05-Nov-2003 09:06 3.8K
[ ]373_Isabelle.gz05-Nov-2003 09:06 697
[ ]374_Conf_Symbolic_Rewriting_Techniques.gz05-Nov-2003 09:06 2.7K
[ ]375_EUROFOCS_post_docs.gz05-Nov-2003 09:06 1.9K
[ ]376_ReDuX.gz05-Nov-2003 09:06 2.0K
[ ]377_LICS_registration_Update.gz05-Nov-2003 09:06 5.7K
[ ]378_narrowing.gz05-Nov-2003 09:06 601
[ ]379_narrowing_in_Spanish.gz05-Nov-2003 09:06 924
[ ]380_narrowing_in_Russian.gz05-Nov-2003 09:06 866
[ ]381_Workshop_Functional_and_Logic_Prgming.gz05-Nov-2003 09:06 1.2K
[ ]382_.gz05-Nov-2003 09:06 1.2K
[ ]383_rigid_E_unification.gz05-Nov-2003 09:06 1.2K
[ ]384_efficiency_measures.gz05-Nov-2003 09:06 459
[ ]385_LICS_95.gz05-Nov-2003 09:06 539
[ ]386_LARCH.gz05-Nov-2003 09:06 2.2K
[ ]387_Robbins_conjecture_proved.gz05-Nov-2003 09:06 819
[ ]388_Semi_completeness_and_reduced_TRS.gz05-Nov-2003 09:06 903
[ ]389_Book_on_rewriting.gz05-Nov-2003 09:06 189
[ ]390_WADT11_COMPASS8.gz05-Nov-2003 09:06 5.3K
[ ]391_A_reponse_to_Alan_Bundy.gz05-Nov-2003 09:06 2.7K
[ ]392_Rigid_E_unification.gz05-Nov-2003 09:06 382
[ ]393_SEGRAGRA_95.gz05-Nov-2003 09:06 7.4K
[ ]394_FroCos_96.gz05-Nov-2003 09:06 2.1K
[ ]395_GULP_PRODE_95.gz05-Nov-2003 09:06 7.0K
[ ]396_FUJI_workshop_on_FP_and_LP.gz05-Nov-2003 09:06 3.5K
[ ]397_a_question_on_narrowing.gz05-Nov-2003 09:06 685
[ ]398_CAAP_96____CC_96____ESOP_96.gz05-Nov-2003 09:06 3.5K
[ ]399_CAAP_96____CC_96____ESOP_96____LaTeX.gz05-Nov-2003 09:06 3.8K
[ ]400_Rewrite_system_for_Categorical_Combinato.gz05-Nov-2003 09:06 1.0K
[ ]401_Textbook_on_Rewriting.gz05-Nov-2003 09:06 13K
[ ]402_C_AC_ACI_completion.gz05-Nov-2003 09:06 281
[ ]403_Declarative_Programming.gz05-Nov-2003 09:06 7.0K
[ ]404_AMAST_96.gz05-Nov-2003 09:06 3.0K
[ ]405_Associative_unifiability.gz05-Nov-2003 09:06 245
[ ]406_HOA_95.gz05-Nov-2003 09:06 243
[ ]407_DISCO_96.gz05-Nov-2003 09:06 2.0K
[ ]408_WWW_database_on_automated_reasoning.gz05-Nov-2003 09:06 322
[ ]409_FM9001_Release_Announcement.gz05-Nov-2003 09:06 682
[ ]410_The_problem_of_Robbins.gz05-Nov-2003 09:06 466
[ ]411_CAAP_96_Deeadline_19_September_1995.gz05-Nov-2003 09:06 889
[ ]412_ECAI_96_call_for_workshop_proposals.gz05-Nov-2003 09:06 2.4K
[ ]413_TBILISSI_Symp_Language_Logic_Computation.gz05-Nov-2003 09:06 3.1K
[ ]414_LICS_96.gz05-Nov-2003 09:06 4.3K
[ ]415_RTA_96.gz05-Nov-2003 09:06 3.3K
[ ]416_searching_for_rewriting_software.gz05-Nov-2003 09:06 382
[ ]417_CADE_13_call_for_workshops.gz05-Nov-2003 09:06 3.4K
[ ]418_CADE_13_call_for_tutorials.gz05-Nov-2003 09:06 3.4K
[ ]419_discrimination_trees.gz05-Nov-2003 09:06 264
[ ]420_ECAI_96_call_for_workshops.gz05-Nov-2003 09:06 2.4K
[ ]421_position_Saarbrucken.gz05-Nov-2003 09:06 1.4K
[ ]422_CADE_14.gz05-Nov-2003 09:06 518
[ ]423_LICS_96.gz05-Nov-2003 09:06 4.3K
[ ]424_CONCUR_96.gz05-Nov-2003 09:06 2.8K
[ ]425_Rigid_E_unification_report_available.gz05-Nov-2003 09:06 791
[ ]426_post_doc_at_U_Penn.gz05-Nov-2003 09:06 1.2K
[ ]427_ALP_96______PLILP_96.gz05-Nov-2003 09:06 2.5K
[ ]428_PhD_at_U_Saarlandes.gz05-Nov-2003 09:06 774
[ ]429_RTA_96_second_call.gz05-Nov-2003 09:06 3.3K
[ ]430_UNIF_96.gz05-Nov-2003 09:06 2.0K
[ ]431_ECAI_96.gz05-Nov-2003 09:06 3.7K
[ ]432_Post_doc_at_Lille_France.gz05-Nov-2003 09:06 741
[ ]433_AMAST_96.gz05-Nov-2003 09:06 2.5K
[ ]434_LOGIC_RELATED_CONFERENCES.gz05-Nov-2003 09:06 627
[ ]435_LICS_96.gz05-Nov-2003 09:06 446
[ ]436_CADE_13__ATP_System_Competition.gz05-Nov-2003 09:06 1.8K
[ ]437_CADE_13.gz05-Nov-2003 09:06 4.5K
[ ]438_EQUALITY_THEOREM_PROVING.gz05-Nov-2003 09:06 369
[ ]439_ReDuX.gz05-Nov-2003 09:06 2.5K
[ ]440_FroCos_96.gz05-Nov-2003 09:06 4.6K
[ ]441_AISMC_3.gz05-Nov-2003 09:06 2.4K
[ ]442_RTA_96.gz05-Nov-2003 09:06 3.3K
[ ]443_Need_to_verify_some_identities_by_computer.gz05-Nov-2003 09:06 482
[ ]444_CORRECTED_Call_FroCoS_96.gz05-Nov-2003 09:06 523
[ ]445_Rewriting_Logic_Call_for_Papers.gz05-Nov-2003 09:06 1.7K
[ ]446_Future_Directions_of_Automated_Deduction.gz05-Nov-2003 09:06 2.2K
[ ]447_DISCO_96_final_call.gz05-Nov-2003 09:06 2.4K
[ ]448_AISMC_3.gz05-Nov-2003 09:06 2.5K
[ ]449_CADE_13_ATP_System_Competition.gz05-Nov-2003 09:06 1.9K
[ ]450_ESOP_CAAP_CC_96.gz05-Nov-2003 09:06 7.3K
[ ]451_AMAST_96.gz05-Nov-2003 09:06 4.6K
[ ]452_Workshop_Tree_Languages_and_Term_Rewriting.gz05-Nov-2003 09:06 1.5K
[ ]453_RTA_96_list_of_accepted_papers.gz05-Nov-2003 09:06 1.7K
[ ]454_TLCA_97_call_for_papers.gz05-Nov-2003 09:06 2.3K
[ ]455_UNIF_96_2nd_call.gz05-Nov-2003 09:06 1.5K
[ ]456_Rewriting_modulo_equational_theories.gz05-Nov-2003 09:06 473
[ ]457_conditional_rewriting_mod_E.gz05-Nov-2003 09:06 441
[ ]458_CADE_13_Workshop_on_Term_Schematizations.gz05-Nov-2003 09:06 1.5K
[ ]459_AMAST_96_cp.gz05-Nov-2003 09:06 7.0K
[ ]460_CADE_13_Woody_Bledsoe_Student_Travel_Award.gz05-Nov-2003 09:06 870
[ ]461_CADE_13.gz05-Nov-2003 09:06 10K
[ ]462_FLoC_92.gz05-Nov-2003 09:06 1.1K
[ ]463_CADE_13_tutorial.gz05-Nov-2003 09:06 2.3K
[ ]464_RTA_96.gz05-Nov-2003 09:06 4.6K
[ ]465_ALP_PLILP_SAS_96.gz05-Nov-2003 09:06 2.4K
[ ]466_Tuebingen_research_position.gz05-Nov-2003 09:06 781
[ ]467_JAIR_Article_A_Divergence_Critic_for.gz05-Nov-2003 09:06 1.2K
[ ]468_Termination_of_word_rewriting_systems.gz05-Nov-2003 09:06 509
[ ]469_journal_FORMALIZED_MATH.gz05-Nov-2003 09:06 1.3K
[ ]470_Workshop_Parallellism_Constraint_Logic_Prog.gz05-Nov-2003 09:06 2.6K
[ ]471_POPL_97.gz05-Nov-2003 09:06 2.7K
[ ]472_Termination_of_word_rewriting_systems.gz05-Nov-2003 09:06 922
[ ]473_School_on_Type_Theory_and_Term_Rewriting.gz05-Nov-2003 09:06 1.6K
[ ]474_FLoC_96.gz05-Nov-2003 09:06 692
[ ]475_WS_on_Term_Schematizations:_Preliminary_Program.gz05-Nov-2003 09:06 1.0K
[ ]476_APPIA_GULP_PRODE_96.gz05-Nov-2003 09:06 904
[ ]477_RTA_General_Assembly.gz05-Nov-2003 09:06 333
[ ]478_RTA_97.gz05-Nov-2003 09:06 1.7K
[ ]479_A_note_to_RTA96_attendees.gz05-Nov-2003 09:06 401
[ ]480_TAPSOFT_97.gz05-Nov-2003 09:06 3.1K
[ ]481_CONF_ON_CONCURRENCY_THEORY.gz05-Nov-2003 09:06 4.0K
[ ]482_POPL_final_CP.gz05-Nov-2003 09:06 719
[ ]483_Summer_School_Functional_Programming.gz05-Nov-2003 09:06 1.8K
[ ]484_ALP_PLILP_SAS_96.gz05-Nov-2003 09:06 8.2K
[ ]485_Assistant_Professorship_at_Tsukuba.gz05-Nov-2003 09:06 805
[ ]486_Infinite_strings_not_matching_xwwy.gz05-Nov-2003 09:06 634
[ ]487_Joe_Goguen_changed_address05-Nov-2003 09:06 732
[ ]488_Infinite_squarefree_words_summary_of_answers.gz05-Nov-2003 09:06 2.8K
[ ]489_CADE_workshop_Term_Schematization.gz05-Nov-2003 09:06 195
[ ]490_book_ALGEBRAIC_SEMANTICS_OF_IMPERATIVE_PROGRAMS.gz05-Nov-2003 09:06 2.0K
[ ]491_Second_CFP_AISMC-3.gz05-Nov-2003 09:06 7.0K
[ ]492_Book_Foundations_for_Programming_Languages.gz05-Nov-2003 09:06 1.2K
[ ]493_ICALP_97.gz05-Nov-2003 09:06 3.8K
[ ]494_LICS_97.gz05-Nov-2003 09:06 3.9K
[ ]495_Book_Announcement_Partial_Evaluation.gz05-Nov-2003 09:06 666
[ ]496_Matching_and_Unification.gz05-Nov-2003 09:06 1.2K
[ ]497_Matching_and_Unification_an_answer.gz05-Nov-2003 09:06 518
[ ]498_JFPLC_97-CFP.gz05-Nov-2003 09:06 4.3K
[ ]499_Matching_and_Unification_an_answer.gz05-Nov-2003 09:06 786
[ ]500_CADE_14.gz05-Nov-2003 09:06 2.9K
[ ]501_WWW-Homepage_research_programme_deduction.gz05-Nov-2003 09:06 839
[ ]502_position_at_Orsay.gz05-Nov-2003 09:06 250
[ ]503_Son_of_BirdBrain.gz05-Nov-2003 09:06 391
[ ]504_position_at_Orsay_more.gz05-Nov-2003 09:06 453
[ ]505_CFP__JAR_Special_Issue_on_Formal_Proof.gz05-Nov-2003 09:06 1.6K
[ ]506_CHARME_97.gz05-Nov-2003 09:06 2.8K
[ ]507_Matching_and_Unification_an_answer.gz05-Nov-2003 09:06 592
[ ]508_The_Robbins_Problem.gz05-Nov-2003 09:06 287
[ ]509_Re:_Matching_and_Unification.gz05-Nov-2003 09:06 1.0K
[ ]510_Conditional_TRS_and_Orthogonality.gz05-Nov-2003 09:06 316
[ ]511_Re:Rewriting510---Conditional_TRS_and_Orthogonality.gz05-Nov-2003 09:06 678
[ ]512_Re:Rewriting510---Conditional_TRS_and_Orthogonality.gz05-Nov-2003 09:06 278
[ ]513_tools_for_completion_algorithm.gz05-Nov-2003 09:06 489
[ ]514_Re:Rewriting510---Conditional_TRS_and_Orthogonality.gz05-Nov-2003 09:06 568
[ ]515_Concurrent_Rewriting.gz05-Nov-2003 09:06 321
[ ]516_3rd_Int_Termination_Workshop.gz05-Nov-2003 09:06 1.1K
[ ]517_RTA_97.gz05-Nov-2003 09:06 1.7K
[ ]518_post_doc_at_Koblenz.gz05-Nov-2003 09:06 1.6K
[ ]519_Resolution_by_Unification_and_Equality.gz05-Nov-2003 09:06 470
[ ]520_Re:Rewriting519---Resolution_by_Unification_and_Equality.gz05-Nov-2003 09:06 696
[ ]521_Re:Rewriting519---Resolution_by_Unification_and_Equality.gz05-Nov-2003 09:06 787
[ ]522_doct_or_post_doc.gz05-Nov-2003 09:06 1.6K
[ ]523_AD_as_an_International_Discipline.gz05-Nov-2003 09:06 1.9K
[ ]524_Rewriting_on_the_Web.gz05-Nov-2003 09:06 590
[ ]525_CADE-14_Induction_System_Competition.gz05-Nov-2003 09:06 882
[ ]526_CADE-14_Final_Call_for_Workshops.gz05-Nov-2003 09:06 1.9K
[ ]527_CADE-14_ATP_System_Competition.gz05-Nov-2003 09:06 1.5K
[ ]528_CADE-14_Final_CFP.gz05-Nov-2003 09:06 2.0K
[ ]529_professor_position_at_Marseilles.gz05-Nov-2003 09:06 1.6K
[ ]530_one_step_rewriting.gz05-Nov-2003 09:06 667
[ ]531_PLILP_ALP_DPLE_HOA_1997.gz05-Nov-2003 09:06 1.2K
[ ]532_POPL_97_call_for_participation.gz05-Nov-2003 09:06 4.8K
[ ]533_CFP_UNIF_97.gz05-Nov-2003 09:06 2.5K
[ ]534_Wkp_Theory_and_Practice_of_Alg_Spec.gz05-Nov-2003 09:06 965
[ ]535_Book_announcement_FRONTIERS_OF_COMBINING_SYSTEMS.gz05-Nov-2003 09:06 1.6K
[ ]536_TLCA_97__CFP.gz05-Nov-2003 09:06 4.0K
[ ]537_2_nd_Order_Unification.gz05-Nov-2003 09:06 571
[ ]538_CADE_14__CF_Wkp_Tutorials.gz05-Nov-2003 09:06 1.9K
[ ]539_RTA_97_accepted_papers.gz05-Nov-2003 09:06 1.5K
[ ]540_BOOK_ANNOUNCEMENT.gz05-Nov-2003 09:06 1.2K
[ ]541_Job_Opening_at_Clarkson_University.gz05-Nov-2003 09:06 722
[ ]542_Termination_Workshop.gz05-Nov-2003 09:06 1.1K
[ ]543_On_semi_completeness_under_right_normalization.gz05-Nov-2003 09:06 1.8K
[ ]544_ASF+SDF_97.gz05-Nov-2003 09:06 1.4K
[ ]545_visiting_position.gz05-Nov-2003 09:06 558
[ ]546_TLCA_97_2nd_CFP.gz05-Nov-2003 09:06 4.6K
[ ]547_FST_and_TCS__call_for_papers.gz05-Nov-2003 09:06 3.4K
[ ]548_CADE_14__CF_Attendance.gz05-Nov-2003 09:06 3.4K
[ ]549_LICS_accepted_papers.gz05-Nov-2003 09:06 1.9K
[ ]550_CADE_14_workshop.gz05-Nov-2003 09:06 1.6K
[ ]551_3rd_Termination_Workshop__CFP.gz05-Nov-2003 09:06 1.5K
[ ]552_software_for_regular_tree_languages.gz05-Nov-2003 09:06 661
[ ]553_Automated_Theorem_Proving_and_Mathematics.gz05-Nov-2003 09:06 1.0K
[ ]554_a_new_e_journal.gz05-Nov-2003 09:06 594
[ ]555_UNIF_97.gz05-Nov-2003 09:06 50K
[ ]556_RTA_97.gz05-Nov-2003 09:06 3.8K
[ ]557_CADE_14_Worskop_Automated_Induction.gz05-Nov-2003 09:06 1.3K
[ ]558_software_for_regular_tree_languages_NEXT.gz05-Nov-2003 09:06 1.0K
[ ]559_software_for_regular_tree_languages_MORE.gz05-Nov-2003 09:06 677
[ ]560_software_for_regular_tree_languages_MORE.gz05-Nov-2003 09:06 553
[ ]561_ReDuX_1.6.gz05-Nov-2003 09:06 913
[ ]562_PTP_97.gz05-Nov-2003 09:06 3.3K
[ ]563_FTP_97.gz05-Nov-2003 09:06 2.1K
[ ]564_CADE_14_ATP_System_Competition.gz05-Nov-2003 09:06 1.5K
[ ]565_Kanellakis_Award.gz05-Nov-2003 09:06 874
[ ]566_RTA_98.gz05-Nov-2003 09:06 1.0K
[ ]567_types_specif@IMACS-ACA.gz05-Nov-2003 09:06 608
[ ]568_FSTTCS_97_CfP.gz05-Nov-2003 09:06 2.0K
[ ]569_EXPRESS_97.gz05-Nov-2003 09:06 3.5K
[ ]570_ICALP_97.gz05-Nov-2003 09:06 6.9K
[ ]571_what_Smullyan's_name_for_S.gz05-Nov-2003 09:06 406
[ ]572_CADE_14_early_registration.gz05-Nov-2003 09:06 3.5K
[ ]573_RTA_97_call_for_participation.gz05-Nov-2003 09:06 4.2K
[ ]574_CADE_Bledsoe_Student_Travel_Award.gz05-Nov-2003 09:06 788
[ ]574_RTA_General_Assembly.gz05-Nov-2003 09:06 310
[ ]575_extensions_of_Kruskal_theorem?.gz05-Nov-2003 09:06 1.0K
[ ]576_CADE'97_tutorial_announcement.gz05-Nov-2003 09:06 1.2K
[ ]577_extensions_of_Kruskal_theorem__an_answer.gz05-Nov-2003 09:06 1.3K
[ ]578_CADE_14.gz05-Nov-2003 09:06 3.4K
[ ]579_Ron_Book.gz05-Nov-2003 09:06 293
[ ]580_FTP97_2nd_call.gz05-Nov-2003 09:06 2.2K
[ ]581_Research_post_doc_St_Andrews.gz05-Nov-2003 09:06 1.3K
[ ]582_Research_position_Saarbruecken.gz05-Nov-2003 09:06 1.0K
[ ]583_CADE_Trustees.gz05-Nov-2003 09:06 895
[ ]584_CP_97.gz05-Nov-2003 09:06 5.2K
[ ]585_Research_position_at_Kestrel_Institut.gz05-Nov-2003 09:06 2.6K
[ ]586_PLILP_ALP_HOA_97.gz05-Nov-2003 09:06 399
[ ]587_looking_for_PHD_student.gz05-Nov-2003 09:06 348
[ ]588_Post_doc_at_ETL.gz05-Nov-2003 09:06 1.3K
[ ]589_open_position_at_Dresden.gz05-Nov-2003 09:06 1.0K
[ ]590_PhD_program_in_Munich.gz05-Nov-2003 09:06 1.0K
[ ]591_RTA_98_Call_for_Workshops.gz05-Nov-2003 09:06 722
[ ]592_morphism_of_CTRSs.gz05-Nov-2003 09:06 190
[ ]593_Re:__592---morphism_of_CTRSs.gz05-Nov-2003 09:06 193
[ ]594_RTA_98_2nd_call_for_papers.gz05-Nov-2003 09:06 1.0K
[ ]595_WESTAPP_98.gz05-Nov-2003 09:06 1.7K
[ ]596_RTA_open_problems.gz05-Nov-2003 09:06 782
[ ]597_Pierre_Lescanne_moved.gz05-Nov-2003 09:06 391
[ ]598_Constraint_Programming_98.gz05-Nov-2003 09:06 1.5K
[ ]599_CADE_98.gz05-Nov-2003 09:06 2.8K
[ ]600_Tools_for_algebraically_specified_DT.gz05-Nov-2003 09:06 2.0K
[ ]601_FTP97_proceedings.gz05-Nov-2003 09:06 253
[ ]602_LICS_98.gz05-Nov-2003 09:06 3.9K
[ ]603_TATA_tree_automata.gz05-Nov-2003 09:06 489
[ ]604_Prover_available_on_the_web.gz05-Nov-2003 09:06 1.1K
[ ]605_position_at_Brasilia.gz05-Nov-2003 09:06 926
[ ]606_JSC_special_issue.gz05-Nov-2003 09:06 1.6K
[ ]607_RTA98_accepted_papers.gz05-Nov-2003 09:06 1.3K
[ ]608_CADE-15.gz05-Nov-2003 09:06 3.3K
[ ]609_RTA-98.gz05-Nov-2003 09:06 3.7K
[ ]610_UNIF-98.gz05-Nov-2003 09:06 1.4K
[ ]611_Constraint_Programming-98.gz05-Nov-2003 09:06 1.3K
[ ]612_MFCS_23.gz05-Nov-2003 09:06 2.4K
[ ]613_RTA_98.gz05-Nov-2003 09:06 3.7K
[ ]614_RTA-98:Wp_on_Applications_of_Rewriting.gz05-Nov-2003 09:06 1.4K
[ ]615_Wp_on_FLP.gz05-Nov-2003 09:06 1.5K
[ ]616_FLOCS_99.gz05-Nov-2003 09:06 963
[ ]617_Spiro_Michaylov.gz05-Nov-2003 09:06 202
[ ]618_Automated_Reasoning_Wp.gz05-Nov-2003 09:06 1.1K
[ ]619_Book.gz05-Nov-2003 09:06 971
[ ]620_ICFP_Poster.gz05-Nov-2003 09:06 1.4K
[ ]621_problem_74.gz05-Nov-2003 09:06 674
[ ]622_Wp_Rew_Logic_98.gz05-Nov-2003 09:06 1.5K
[ ]623_LICS_98.gz05-Nov-2003 09:06 8.8K
[ ]624_Wp_CADE-15.gz05-Nov-2003 09:06 1.9K
[ ]625_Herbrand_Award.gz05-Nov-2003 09:06 634
[ ]626_JSC_Special_Issue.gz05-Nov-2003 09:06 1.7K
[ ]627_BookAnnouncement.gz05-Nov-2003 09:06 882
[ ]628_2nd_Wp_Rewriting_Logic.gz05-Nov-2003 09:06 1.6K
[ ]629_Solving_trigonometric_identities.gz05-Nov-2003 09:06 130
[ ]630_CADE-15_ATP_System_Competition.gz05-Nov-2003 09:06 769
[ ]631_trigonometric_identities_More.gz05-Nov-2003 09:06 128
[ ]632_trigonometric_identities_More.gz05-Nov-2003 09:06 1.2K
[ ]633_Re:Solving_trigonometric_identities.gz05-Nov-2003 09:06 290
[ ]634_Re:632_trigonometric_identities_More.gz05-Nov-2003 09:06 445
[ ]635_632_trigonometric_identities_More.gz05-Nov-2003 09:06 727
[ ]636_AC_rewriting.gz05-Nov-2003 09:06 253
[ ]637_LICS_proceedings_for_sale.gz05-Nov-2003 09:06 794
[ ]638_WRLA98.gz05-Nov-2003 09:06 3.3K
[ ]639_TERMINATION_99.gz05-Nov-2003 09:06 1.3K
[ ]640_Research_Positions.gz05-Nov-2003 09:06 772
[ ]641_FTP-98--Extended_submission_deadline_Sep_27.gz05-Nov-2003 09:06 633
[ ]642_RTA_2000.gz05-Nov-2003 09:06 301
[ ]643_RTA_99.gz05-Nov-2003 09:06 2.4K
[ ]644_TLCA-99.gz05-Nov-2003 09:06 2.0K
[ ]645_Real_Closed_Fields.gz05-Nov-2003 09:06 727
[ ]646_WESTAPP_99.gz05-Nov-2003 09:06 1.9K
[ ]647_Term_Graph_Rewriting_a_survey.gz05-Nov-2003 09:06 669
[ ]648_old_proof_WF__of_multiset_order.gz05-Nov-2003 09:06 29K
[ ]649_Wp_Grobner_.gz05-Nov-2003 09:06 1.6K
[ ]650_FLOPS_99.gz05-Nov-2003 09:06 1.6K
[ ]651_FTP_98_Participation.gz05-Nov-2003 09:06 1.5K
[ ]652_confluence_of_Petri_nets.gz05-Nov-2003 09:06 301
[ ]653_Q:graphic_simulation_of_rewriting.gz05-Nov-2003 09:06 698
[ ]654_UNIF_99.gz05-Nov-2003 09:06 1.1K
[ ]655_R:graphic_simulation_of_rewriting.gz05-Nov-2003 09:06 676
[ ]656_R:confluence_of_Petri_nets.gz05-Nov-2003 09:06 522
[ ]657_RTA_99.gz05-Nov-2003 09:06 1.9K
[ ]658_PPDP_99.gz05-Nov-2003 09:06 2.3K
[ ]659_CHARME_99.gz05-Nov-2003 09:06 2.2K
[ ]660_GETGRATS.gz05-Nov-2003 09:06 1.4K
[ ]661_LICS_99.gz05-Nov-2003 09:06 4.7K
[ ]662_CALCULEMUS_WS_at_FLoC'99.gz05-Nov-2003 09:06 2.4K
[ ]663_PhD_position.gz05-Nov-2003 09:06 242
[ ]664_ELAN.gz05-Nov-2003 09:06 845
[ ]665_WESTAPP_99_2nd.gz05-Nov-2003 09:06 1.9K
[ ]666_Termination_99.gz05-Nov-2003 09:06 1.4K
[ ]667_1st_order_TP.gz05-Nov-2003 09:06 243
[ ]668_(n,m)-confluence.gz05-Nov-2003 09:06 570
[ ]669_CADE99_deadline_extension.gz05-Nov-2003 09:06 560
[ ]670_wkshop_Gram_Autom_Trees.gz05-Nov-2003 09:06 1.0K
[ ]671_Wp_PPDP99.gz05-Nov-2003 09:06 804
[ ]672_Lectureship.gz05-Nov-2003 09:06 1.2K
[ ]673_STACS99.gz05-Nov-2003 09:06 1.9K
[ ]674_posts_at_St_Andrews.gz05-Nov-2003 09:06 1.5K
[ ]675_position_at_Clarkson.gz05-Nov-2003 09:06 887
[ ]676_right_congruences.gz05-Nov-2003 09:06 1.1K
[ ]677_PhD_prog_at_Wesleyan.gz05-Nov-2003 09:06 593
[ ]678_Termination_99.gz05-Nov-2003 09:06 1.4K
[ ]679_Summer_School.gz05-Nov-2003 09:06 1.3K
[ ]680_Maude_1.00_Release.gz05-Nov-2003 09:06 822
[ ]681_BCTCS_15.gz05-Nov-2003 09:06 1.3K
[ ]682_PPDP_99.gz05-Nov-2003 09:06 2.3K
[ ]683_TLCA_99.gz05-Nov-2003 09:06 6.2K
[ ]684_PhD_research_position.gz05-Nov-2003 09:06 2.0K
[ ]685_PhD_Foundations_of_CS.gz05-Nov-2003 09:06 593
[ ]686_School.gz05-Nov-2003 09:06 2.0K
[ ]687_Handbook_chapter_on_unification_theory.gz05-Nov-2003 09:06 612
[ ]688_Handbook_volunteer_readers.gz05-Nov-2003 09:06 1.7K
[ ]689_Handbook_volunteer_readers_(More).gz05-Nov-2003 09:06 307
[ ]690_LICS'99_Accepted_Papers.gz05-Nov-2003 09:06 2.0K
[ ]691_Web_site:_Combination_Methods_in_AR.gz05-Nov-2003 09:06 522
[ ]692_2nd_CFP:_CALCULEMUS_WS_at_FLoC'99.gz05-Nov-2003 09:06 2.4K
[ ]693_WFLP'99.gz05-Nov-2003 09:06 1.6K
[ ]694_School.gz05-Nov-2003 09:06 2.4K
[ ]695_CADE-16:_Accepted_Papers.gz05-Nov-2003 09:06 2.0K
[ ]696_CSL'99.gz05-Nov-2003 09:06 4.1K
[ ]697_PhD_positions.gz05-Nov-2003 09:06 1.0K
[ ]698_4th_Wp_on_Termination.gz05-Nov-2003 09:06 2.8K
[ ]699_A_generalisation_of_rewrite.gz05-Nov-2003 09:06 1.0K
[ ]700_BCTCS_15.gz05-Nov-2003 09:06 1.3K
[ ]701_where05-Nov-2003 09:06 943
[ ]702_CADE-16:_Student_Travel_Award.gz05-Nov-2003 09:06 850
[ ]703_LPAR_99.gz05-Nov-2003 09:06 2.0K
[ ]704_IFL_99.gz05-Nov-2003 09:06 923
[ ]705_LPAR_99.gz05-Nov-2003 09:06 2.1K
[ ]706_VISITING_FELLOWSHIPS.gz05-Nov-2003 09:06 1.0K
[ ]707_Summer_school.gz05-Nov-2003 09:06 807
[ ]708_Wp_complexity_in_AD.gz05-Nov-2003 09:06 1.6K
[ ]709_XB.gz05-Nov-2003 09:06 2.0K
[ ]710_FLOPS_99.gz05-Nov-2003 09:06 1.9K
[ ]711_CSL_99.gz05-Nov-2003 09:06 5.6K
[ ]712_PLI_99.gz05-Nov-2003 09:06 2.3K
[ ]713_LFM_99.gz05-Nov-2003 09:06 1.5K
[ ]714_Wp_Complexity_of_AD.gz05-Nov-2003 09:06 655
[ ]715_positions_at_Heriot_Watt.gz05-Nov-2003 09:06 1.0K
[ ]716_CL2000.gz05-Nov-2003 09:06 937
[ ]717_PLI_99.gz05-Nov-2003 09:06 2.4K
[ ]718_FroCoS_2000.gz05-Nov-2003 09:06 1.7K
[ ]719_CHARME_99.gz05-Nov-2003 09:06 4.7K
[ ]720_Term_Rewriting_and_All_That.gz05-Nov-2003 09:06 218
[ ]721_CADE-17.gz05-Nov-2003 09:06 1.0K
[ ]722_Haskell99.gz05-Nov-2003 09:06 1.6K
[ ]723_LFM_99.gz05-Nov-2003 09:06 1.3K
[ ]724_STACS_2000.gz05-Nov-2003 09:06 2.0K
[ ]725_JSC_Special_Issue.gz05-Nov-2003 09:06 2.5K
[ ]726_FroCos_2000.gz05-Nov-2003 09:06 1.9K
[ ]727_ESOP_2000.gz05-Nov-2003 09:06 1.5K
[ ]728_Wp_Modelling_Verif.gz05-Nov-2003 09:06 1.9K
[ ]729_CADE_17_Wp_Tutorials.gz05-Nov-2003 09:06 1.4K
[ ]730_FroCoS_2000.gz05-Nov-2003 09:06 1.0K
[ ]731_PhD_Studentship.gz05-Nov-2003 09:06 725
[ ]732_Chair_opening.gz05-Nov-2003 09:06 936
[ ]733_ESOP_2000.gz05-Nov-2003 09:06 1.4K
[ ]734_PPDP_2000.gz05-Nov-2003 09:06 2.2K
[ ]735_ACMMPC.gz05-Nov-2003 09:06 1.8K
[ ]736_RTA_2000.gz05-Nov-2003 09:06 1.9K
[ ]737_ICFP_2000.gz05-Nov-2003 09:06 3.1K
[ ]738_PLI_00.gz05-Nov-2003 09:06 1.0K
[ ]739_PLI_00_more.gz05-Nov-2003 09:06 1.0K
[ ]740_Wanted:_simple_system.gz05-Nov-2003 09:06 600
[ ]741_RTA'99_proceedings.gz05-Nov-2003 09:06 194
[ ]742_ESSLLI-2000_STUDENT_SESSION.gz05-Nov-2003 09:06 2.6K
[ ]743_STACS_2000.gz05-Nov-2003 09:06 4.4K
[ ]744_ETAPS_2001:SATELLITE_EVENTS.gz05-Nov-2003 09:06 1.2K
[ ]745_Logics_Types_Rewriting.gz05-Nov-2003 09:06 939
[ ]746_STACS_2000_Grants.gz05-Nov-2003 09:06 282
[ ]747_TPHOLs_2000.gz05-Nov-2003 09:06 2.0K
[ ]748_CL2000.gz05-Nov-2003 09:06 1.5K
[ ]749_Graph_Transformation.gz05-Nov-2003 09:06 2.5K
[ ]750_FTP_2000.gz05-Nov-2003 09:06 5.3K
[ ]751_PLI_2000.gz05-Nov-2003 09:06 1.0K
[ ]752_CADE_17_deadline.gz05-Nov-2003 09:06 289
[ ]753_LFM_2000.gz05-Nov-2003 09:06 1.4K
[ ]754_JFP_&_LFM.gz05-Nov-2003 09:06 1.7K
[ ]755_CL2000.gz05-Nov-2003 09:06 869
[ ]756_termination_Dependency_Pair.gz05-Nov-2003 09:06 463
[ ]757_Wp_Logics_Types_Rewriting.gz05-Nov-2003 09:06 1.1K
[ ]758_RTA_2000.gz05-Nov-2003 09:06 1.7K
[ ]759_PhD_Postdoc_@GKLI.gz05-Nov-2003 09:06 1.3K
[ ]760_RTA_extension.gz05-Nov-2003 09:06 1.7K
[ ]761_FroCoS'2000_CfP.gz05-Nov-2003 09:06 3.6K
[ ]762_Research_posts.gz05-Nov-2003 09:06 755
[ ]763_CP2000.gz05-Nov-2003 09:06 1.5K
[ ]764_TPHOL2000.gz05-Nov-2003 09:06 2.0K
[ ]765_CL2000.gz05-Nov-2003 09:06 31
[ ]766_CL2000.gz05-Nov-2003 09:06 587
[ ]767_IFL2000.gz05-Nov-2003 09:06 2.2K
[ ]768_WESTAPP2000.gz05-Nov-2003 09:06 1.5K
[ ]769_WFLP_2000.gz05-Nov-2003 09:06 1.6K
[ ]770_Wksp_Graph_Transformation.gz05-Nov-2003 09:06 2.5K
[ ]771_PhD_positions.gz05-Nov-2003 09:06 665
[ ]772_Tenured_Posts.gz05-Nov-2003 09:06 1.0K
[ ]773_PPDP2000.gz05-Nov-2003 09:06 2.3K
[ ]774_TPHOL2000.gz05-Nov-2003 09:06 2.1K
[ ]775_CL2000_CfWp.gz05-Nov-2003 09:06 4.2K
[ ]776_KB_ord_constraints.gz05-Nov-2003 09:06 202
[ ]777_ICFP2000.gz05-Nov-2003 09:06 3.3K
[ ]778_School.gz05-Nov-2003 09:06 2.0K
[ ]779_TUTORIAL_on_SWINGING_TYPES.gz05-Nov-2003 09:06 636
[ ]780_AISC_2000.gz05-Nov-2003 09:06 562
[ ]781_PPDP2000.gz05-Nov-2003 09:06 2.3K
[ ]782_ICFP2000.gz05-Nov-2003 09:06 383
[ ]783_ITRS00.gz05-Nov-2003 09:06 3.6K
[ ]784_MFCS2000.gz05-Nov-2003 09:06 2.2K
[ ]785_WoLLIC_2000.gz05-Nov-2003 09:06 2.5K
[ ]786_FROCOS2000.gz05-Nov-2003 09:06 2.4K
[ ]787_METAML.gz05-Nov-2003 09:06 1.4K
[ ]788_CP2000.gz05-Nov-2003 09:06 2.7K
[ ]789_CL2000:_call_for_workshop_papers.gz05-Nov-2003 09:06 4.6K
[ ]790_WESTAPP_2000.gz05-Nov-2003 09:06 1.6K
[ ]791_CADE-17.gz05-Nov-2003 09:06 1.8K
[ ]792_ESSLLI-2000.gz05-Nov-2003 09:06 325
[ ]793_School_of_Deduction.gz05-Nov-2003 09:06 496
[ ]794_solving_linear_Diophantine_equations.gz05-Nov-2003 09:06 285
[ ]795_solving_linear_Diophantine_equations_2.gz05-Nov-2003 09:06 293
[ ]796_Implicit_Computational_Complexity.gz05-Nov-2003 09:06 2.4K
[ ]797_CADE-17:_Student_Travel_Award.gz05-Nov-2003 09:06 1.1K
[ ]798_CL2000_call_wksp_papers.gz05-Nov-2003 09:06 5.7K
[ ]799_Complexity_for_tree_automata.gz05-Nov-2003 09:06 662
[ ]800_WFLP_2000.gz05-Nov-2003 09:06 1.6K
[ ]801_2books_by_Wos_and_Pieper.gz05-Nov-2003 09:06 773
[ ]802_ACL2_Workshop_2000.gz05-Nov-2003 09:06 3.0K
[ ]803_PhD_position.gz05-Nov-2003 09:06 594
[ ]804_ISCL_2000.gz05-Nov-2003 09:06 1.7K
[ ]805_RTA_2000.gz05-Nov-2003 09:06 4.2K
[ ]806_CADE2000.gz05-Nov-2003 09:06 1.0K
[ ]807_OPEN_POSITIONS.gz05-Nov-2003 09:06 606
[ ]808_Wp_rule_based_constraints.gz05-Nov-2003 09:06 833
[ ]809_LPAR.gz05-Nov-2003 09:06 1.9K
[ ]810_TLCA_2001.gz05-Nov-2003 09:06 1.8K
[ ]811_RTA_2000.gz05-Nov-2003 09:06 4.2K
[ ]812_Position_at_LEICESTER.gz05-Nov-2003 09:06 1.2K
[ ]813_Wkp_Foundations_Computations.gz05-Nov-2003 09:06 1.3K
[ ]814_1_short_and_sweet_Sheffer_stoke_axiom_sufficient.gz05-Nov-2003 09:06 278
[ ]815_RULE_2000.gz05-Nov-2003 09:06 2.1K
[ ]816_ICFP2000.gz05-Nov-2003 09:06 2.4K
[ ]817_CP_2000.gz05-Nov-2003 09:06 5.5K
[ ]818_WRLA2000.gz05-Nov-2003 09:06 2.9K
[ ]819_TBILISI_SUMMER_SCHOOL.gz05-Nov-2003 09:06 2.5K
[ ]820_Post_Doc.gz05-Nov-2003 09:06 2.0K
[ ]821_PLI2000.gz05-Nov-2003 09:06 1.9K
[ ]822_RTA2001.gz05-Nov-2003 09:06 2.0K
[ ]823_CP2000.gz05-Nov-2003 09:06 5.4K
[ ]824_Preservation_of_Confluence.gz05-Nov-2003 09:06 612
[ ]825_Preservation_of_Confluence(more).gz05-Nov-2003 09:06 338
[ ]826_Position_Edinburgh.gz05-Nov-2003 09:06 1.4K
[ ]827_RTA2000_Proceedings.gz05-Nov-2003 09:06 603
[ ]828_PhD_at_MPI.gz05-Nov-2003 09:06 925
[ ]829_PhD_and_PostDoc_at_INRIA.gz05-Nov-2003 09:06 880
[ ]830_FLOPS2000.gz05-Nov-2003 09:06 2.4K
[ ]831_CfWorkshop_IJCAI_01.gz05-Nov-2003 09:06 315
[ ]832.pdf05-Nov-2003 09:06 102K
[ ]832.ps.gz05-Nov-2003 09:06 48K
[ ]832_ASM_Workshop_at_EUROCAST_2001.gz05-Nov-2003 09:06 481
[ ]833_CfWp_ETAPS_2002.gz05-Nov-2003 09:06 1.4K
[ ]834_TLCA_2001.gz05-Nov-2003 09:06 446
[ ]835_WADT2001.gz05-Nov-2003 09:06 1.9K
[ ]836_PLI2001.gz05-Nov-2003 09:06 933
[ ]837_PADL_01.gz05-Nov-2003 09:06 2.2K
[ ]838_LACL_2001.gz05-Nov-2003 09:06 1.8K
[ ]839_FoSSaCS_2001.gz05-Nov-2003 09:06 817
[ ]840_TLCA_2001.gz05-Nov-2003 09:06 1.9K
[ ]841_FST_TCS_2000.gz05-Nov-2003 09:06 3.4K
[ ]842_PostDoc_Cambridge.gz05-Nov-2003 09:06 2.1K
[ ]843_OMDoc.gz05-Nov-2003 09:06 944
[ ]844_RTA_2001.gz05-Nov-2003 09:06 2.5K
[ ]845_TPHOLs_2001.gz05-Nov-2003 09:06 2.2K
[ ]846_WST_01.gz05-Nov-2003 09:06 222
[ ]847_ETAPS_2002_CfWp.gz05-Nov-2003 09:06 1.4K
[ ]848_RTA_2001.gz05-Nov-2003 09:06 2.1K
[ ]849_SST_and_PCP.gz05-Nov-2003 09:06 272
[ ]850_SST_and_PCP(an_answer).gz05-Nov-2003 09:06 575
[ ]851_FLOPS_2001.gz05-Nov-2003 09:06 2.8K
[ ]852_LACL_2001.gz05-Nov-2003 09:06 1.9K
[ ]853_PPDP_2001.gz05-Nov-2003 09:06 1.6K
[ ]854_WRS_2001.gz05-Nov-2003 09:06 2.6K
[ ]855_WORKSHOP_ON_AUTOMATED_REASONING.gz05-Nov-2003 09:06 2.1K
[ ]856_Wp_Termination.gz05-Nov-2003 09:06 1.7K
[ ]857_STRATEGIES_2001.gz05-Nov-2003 09:06 2.2K
[ ]858_WESTAPP01.gz05-Nov-2003 09:06 1.9K
[ ]859_WFLP_2001.gz05-Nov-2003 09:06 2.4K
[ ]860_Wp_Bohm_theorem.gz05-Nov-2003 09:06 1.2K
[ ]861_ELAN_release_and_tutorial.gz05-Nov-2003 09:06 927
[ ]862_RWCA_2002.ps.gz05-Nov-2003 09:06 326
[ ]863_WRS_2001.gz05-Nov-2003 09:06 2.6K
[ ]864_TIMBUK.gz05-Nov-2003 09:06 551
[ ]865_TLCA2001_call_for_participation.gz05-Nov-2003 09:06 2.7K
[ ]866_TLCA_2001_grants_for_participants.gz05-Nov-2003 09:06 804
[ ]867_UNIF_2001_Junior_Researcher_Travel_Award.gz05-Nov-2003 09:06 1.1K
[ ]868_RULE_2001.gz05-Nov-2003 09:06 2.3K
[ ]869_PPDP_01.gz05-Nov-2003 09:06 271
[ ]870_STRATEGIES_2001.gz05-Nov-2003 09:06 2.3K
[ ]871_IJCAR_Workshop_on_Mathematical_Induction.gz05-Nov-2003 09:06 1.7K
[ ]872_IFL_2001.gz05-Nov-2003 09:06 1.1K
[ ]873_Stratego_0.5.gz05-Nov-2003 09:06 3.2K
[ ]874_UNIF_2001.gz05-Nov-2003 09:06 2.1K
[ ]875_CALCULEMUS-2001.gz05-Nov-2003 09:06 3.0K
[ ]876_STRATEGIES_2001_last.gz05-Nov-2003 09:06 2.3K
[ ]877_New_paper_Uniform_Derivation_of_Decision_Procedures_by_Superposition.gz05-Nov-2003 09:06 476
[ ]878_UNIF_2001.gz05-Nov-2003 09:06 2.1K
[ ]879_Barendregt_was_right_after_all_..._almost.gz05-Nov-2003 09:06 699
[ ]880_Re:Barendregt_was_right_after_all_..._almost.gz05-Nov-2003 09:06 411
[ ]881_CFP_LPAR_2001.gz05-Nov-2003 09:06 1.7K
[ ]882_Doctoral_Programme_CP_2001.gz05-Nov-2003 09:06 1.9K
[ ]883_Update_on_Named_Variables_and_Church_Rosser.gz05-Nov-2003 09:06 1.1K
[ ]884_from_RTA_Steering_Committee.gz05-Nov-2003 09:06 291
[ ]885_UNIF_2001.gz05-Nov-2003 09:06 1.9K
[ ]886_RA_position.gz05-Nov-2003 09:06 1.2K
[ ]887_IJCAR_2001.gz05-Nov-2003 09:06 2.2K
[ ]888_STACS_2002.gz05-Nov-2003 09:06 1.7K
[ ]889_clausal_rewriting.gz05-Nov-2003 09:06 129
[ ]890_clausal_rewriting_(more).gz05-Nov-2003 09:06 389
[ ]891_RULE2001.gz05-Nov-2003 09:06 2.3K
[ ]892_WFLP_2001_deadline_extension.gz05-Nov-2003 09:06 271
[ ]893_LATIN_2002.gz05-Nov-2003 09:06 3.1K
[ ]894_RPC_01.gz05-Nov-2003 09:06 1.2K
[ ]895_paper_available.gz05-Nov-2003 09:06 262
[ ]896_LACL_2001.gz05-Nov-2003 09:06 1.8K
[ ]897_PADL_02.gz05-Nov-2003 09:06 2.1K
[ ]898_APPIA-GULP-PRODE_01.gz05-Nov-2003 09:06 3.4K
[ ]899_STACS_2002.gz05-Nov-2003 09:06 1.7K
[ ]900_TACS_2001.gz05-Nov-2003 09:06 6.0K
[ ]901_JCS_AR_and_CAS.gz05-Nov-2003 09:06 1.3K
[ ]902_RPC_01.gz05-Nov-2003 09:06 1.6K
[ ]903_WFLP_2001.gz05-Nov-2003 09:06 2.8K
[ ]904_LPAR_2001.gz05-Nov-2003 09:06 1.7K
[ ]905_FroCos_2002.gz05-Nov-2003 09:06 1.7K
[ ]906_IFL_2001.gz05-Nov-2003 09:06 832
[ ]907_green_rewriting.gz05-Nov-2003 09:06 401
[ ]908_PADL_02.gz05-Nov-2003 09:06 2.2K
[ ]909_FLOPS_2002.gz05-Nov-2003 09:06 2.4K
[ ]910_TPHOLs_2001.gz05-Nov-2003 09:06 2.2K
[ ]911_PLI_2001.gz05-Nov-2003 09:06 1.1K
[ ]912_RPC_01.gz05-Nov-2003 09:06 1.6K
[ ]913_TAJA.gz05-Nov-2003 09:06 373
[ ]914_JSC_Special_Issue.gz05-Nov-2003 09:06 1.3K
[ ]915_FroCoS_2002.gz05-Nov-2003 09:06 1.8K
[ ]916_RTA_2002.gz05-Nov-2003 09:06 1.0K
[ ]917_STACS_2002.gz05-Nov-2003 09:06 1.7K
[ ]918_LATIN_2002.gz05-Nov-2003 09:06 3.2K
[ ]919_ICALP_2002.gz05-Nov-2003 09:06 1.9K
[ ]920_paper_available.gz05-Nov-2003 09:06 323
[ ]921_STACS_2002_extension.gz05-Nov-2003 09:06 197
[ ]922_ETAPS_2002.gz05-Nov-2003 09:06 2.3K
[ ]923_ICGT_2002.gz05-Nov-2003 09:06 3.3K
[ ]924_Equality_modulo_AC.gz05-Nov-2003 09:06 682
[ ]925_ETAPS_2003_satellite_event_proposals.gz05-Nov-2003 09:06 1.3K
[ ]926_RPC_01.gz05-Nov-2003 09:06 3.0K
[ ]927_FroCoS_2002.gz05-Nov-2003 09:06 1.8K
[ ]92805-Nov-2003 09:06 3.7K
[ ]928_CADE_18_Wp.gz05-Nov-2003 09:06 2.4K
[ ]929_RTA_2002.gz05-Nov-2003 09:06 1.9K
[ ]930_type_constraint_solving.gz05-Nov-2003 09:06 537
[ ]931_WRLA2002.gz05-Nov-2003 09:06 1.6K
[ ]932_Wp_HOR.gz05-Nov-2003 09:06 908
[ ]933_Wp_PLI_2002.gz05-Nov-2003 09:06 1.3K
[ ]934_book_announcement.gz05-Nov-2003 09:06 1.4K
[ ]935_CADE_Wp.gz05-Nov-2003 09:06 1.3K
[ ]936_AMAST_2002.gz05-Nov-2003 09:06 2.5K
[ ]937_FLOPS_2002.gz05-Nov-2003 09:06 2.5K
[ ]938_STACS_2002.gz05-Nov-2003 09:06 2.5K
[ ]939_TCS_2002.gz05-Nov-2003 09:06 1.8K
[ ]CFP_RTA-2002.ps.gz05-Nov-2003 09:06 24K
[ ]README05-Nov-2003 09:06 874
[ ]RTA_2002.ps.gz05-Nov-2003 09:06 41K
[ ]rwca02.ps.gz05-Nov-2003 09:06 13K
[ ]tar.gz05-Nov-2003 09:06 708K