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