Index of /xml/Rocq/TreeAutomata/non_coacc_kill

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:12 4.2K 
[ ]dta_kill_non_coacc.con.body.xml.gz2004-04-08 13:10 612  
[ ]dta_kill_non_coacc.con.types.xml.gz2004-04-08 13:10 221  
[ ]dta_kill_non_coacc.con.xml.gz2004-04-08 13:10 306  
[ ]dta_kill_non_coacc_lazy.con.body.xml.gz2004-04-08 13:10 621  
[ ]dta_kill_non_coacc_lazy.con.types.xml.gz2004-04-08 13:10 229  
[ ]dta_kill_non_coacc_lazy.con.xml.gz2004-04-08 13:10 316  
[ ]kill_non_coacc_lazy_eq_kill_non_coacc.con.body.xml.gz2004-04-08 13:10 3.0K 
[ ]kill_non_coacc_lazy_eq_kill_non_coacc.con.types.xml.gz2004-04-08 13:10 4.5K 
[ ]kill_non_coacc_lazy_eq_kill_non_coacc.con.xml.gz2004-04-08 13:10 480  
[ ]liste_reconnait_co_ind.con.body.xml.gz2004-04-08 13:10 2.6K 
[ ]liste_reconnait_co_ind.con.types.xml.gz2004-04-08 13:10 2.8K 
[ ]liste_reconnait_co_ind.con.xml.gz2004-04-08 13:10 1.4K 
[ ]mlrec_co_ind.con.body.xml.gz2004-04-08 13:10 5.9K 
[ ]mlrec_co_ind.con.types.xml.gz2004-04-08 13:10 7.7K 
[ ]mlrec_co_ind.con.xml.gz2004-04-08 13:10 3.1K 
[ ]mreconnaissance_co_ind.con.body.xml.gz2004-04-08 13:10 5.9K 
[ ]mreconnaissance_co_ind.con.types.xml.gz2004-04-08 13:10 7.7K 
[ ]mreconnaissance_co_ind.con.xml.gz2004-04-08 13:10 3.1K 
[ ]mstrec_co_ind.con.body.xml.gz2004-04-08 13:10 5.9K 
[ ]mstrec_co_ind.con.types.xml.gz2004-04-08 13:10 7.7K 
[ ]mstrec_co_ind.con.xml.gz2004-04-08 13:10 3.1K 
[ ]non_coacc_kill.con.body.xml.gz2004-04-08 13:10 2.0K 
[ ]non_coacc_kill.con.types.xml.gz2004-04-08 13:10 211  
[ ]non_coacc_kill.con.xml.gz2004-04-08 13:10 400  
[ ]non_coacc_kill_0.con.body.xml.gz2004-04-08 13:10 42K 
[ ]non_coacc_kill_0.con.types.xml.gz2004-04-08 13:10 76K 
[ ]non_coacc_kill_0.con.xml.gz2004-04-08 13:10 955  
[ ]non_coacc_kill_1.con.body.xml.gz2004-04-08 13:10 57K 
[ ]non_coacc_kill_1.con.types.xml.gz2004-04-08 13:10 92K 
[ ]non_coacc_kill_1.con.xml.gz2004-04-08 13:10 1.0K 
[ ]predta_kill_non_coacc.con.body.xml.gz2004-04-08 13:10 476  
[ ]predta_kill_non_coacc.con.types.xml.gz2004-04-08 13:10 225  
[ ]predta_kill_non_coacc.con.xml.gz2004-04-08 13:10 351  
[ ]predta_kill_non_coacc_0.con.body.xml.gz2004-04-08 13:10 6.0K 
[ ]predta_kill_non_coacc_0.con.types.xml.gz2004-04-08 13:10 7.4K 
[ ]predta_kill_non_coacc_0.con.xml.gz2004-04-08 13:10 927  
[ ]predta_kill_non_coacc_1.con.body.xml.gz2004-04-08 13:10 2.3K 
[ ]predta_kill_non_coacc_1.con.types.xml.gz2004-04-08 13:10 3.0K 
[ ]predta_kill_non_coacc_1.con.xml.gz2004-04-08 13:10 682  
[ ]predta_kill_non_coacc_2.con.body.xml.gz2004-04-08 13:10 4.7K 
[ ]predta_kill_non_coacc_2.con.types.xml.gz2004-04-08 13:10 5.6K 
[ ]predta_kill_non_coacc_2.con.xml.gz2004-04-08 13:10 1.1K 
[ ]predta_kill_non_coacc_3.con.body.xml.gz2004-04-08 13:10 657  
[ ]predta_kill_non_coacc_3.con.types.xml.gz2004-04-08 13:10 677  
[ ]predta_kill_non_coacc_3.con.xml.gz2004-04-08 13:10 582  
[ ]predta_kill_non_coacc_def_0.con.body.xml.gz2004-04-08 13:10 622  
[ ]predta_kill_non_coacc_def_0.con.types.xml.gz2004-04-08 13:10 235  
[ ]predta_kill_non_coacc_def_0.con.xml.gz2004-04-08 13:10 383  
[ ]predta_kill_non_coacc_dir.con.body.xml.gz2004-04-08 13:10 762  
[ ]predta_kill_non_coacc_dir.con.types.xml.gz2004-04-08 13:10 880  
[ ]predta_kill_non_coacc_dir.con.xml.gz2004-04-08 13:10 635  
[ ]predta_kill_non_coacc_lazy.con.body.xml.gz2004-04-08 13:10 487  
[ ]predta_kill_non_coacc_lazy.con.types.xml.gz2004-04-08 13:10 233  
[ ]predta_kill_non_coacc_lazy.con.xml.gz2004-04-08 13:10 361  
[ ]predta_kill_non_coacc_lazy_semantics.con.body.xml.gz2004-04-08 13:10 787  
[ ]predta_kill_non_coacc_lazy_semantics.con.types.xml.gz2004-04-08 13:10 835  
[ ]predta_kill_non_coacc_lazy_semantics.con.xml.gz2004-04-08 13:10 580  
[ ]predta_kill_non_coacc_rec_0.con.body.xml.gz2004-04-08 13:10 2.5K 
[ ]predta_kill_non_coacc_rec_0.con.types.xml.gz2004-04-08 13:10 2.9K 
[ ]predta_kill_non_coacc_rec_0.con.xml.gz2004-04-08 13:10 926  
[ ]predta_kill_non_coacc_rec_1.con.body.xml.gz2004-04-08 13:10 1.4K 
[ ]predta_kill_non_coacc_rec_1.con.types.xml.gz2004-04-08 13:10 2.1K 
[ ]predta_kill_non_coacc_rec_1.con.xml.gz2004-04-08 13:10 1.0K 
[ ]predta_kill_non_coacc_rec_2.con.body.xml.gz2004-04-08 13:10 727  
[ ]predta_kill_non_coacc_rec_2.con.types.xml.gz2004-04-08 13:10 1.0K 
[ ]predta_kill_non_coacc_rec_2.con.xml.gz2004-04-08 13:10 501  
[ ]predta_kill_non_coacc_rec_3.con.body.xml.gz2004-04-08 13:10 1.5K 
[ ]predta_kill_non_coacc_rec_3.con.types.xml.gz2004-04-08 13:10 3.0K 
[ ]predta_kill_non_coacc_rec_3.con.xml.gz2004-04-08 13:10 917  
[ ]predta_kill_non_coacc_rec_4.con.body.xml.gz2004-04-08 13:10 1.3K 
[ ]predta_kill_non_coacc_rec_4.con.types.xml.gz2004-04-08 13:10 2.2K 
[ ]predta_kill_non_coacc_rec_4.con.xml.gz2004-04-08 13:10 860  
[ ]predta_kill_non_coacc_rec_def_0.con.body.xml.gz2004-04-08 13:10 849  
[ ]predta_kill_non_coacc_rec_def_0.con.types.xml.gz2004-04-08 13:10 244  
[ ]predta_kill_non_coacc_rec_def_0.con.xml.gz2004-04-08 13:10 510  
[ ]predta_kill_non_coacc_rec_def_1.con.body.xml.gz2004-04-08 13:10 846  
[ ]predta_kill_non_coacc_rec_def_1.con.types.xml.gz2004-04-08 13:10 244  
[ ]predta_kill_non_coacc_rec_def_1.con.xml.gz2004-04-08 13:10 502  
[ ]predta_kill_non_coacc_rec_def_2.con.body.xml.gz2004-04-08 13:10 851  
[ ]predta_kill_non_coacc_rec_def_2.con.types.xml.gz2004-04-08 13:10 244  
[ ]predta_kill_non_coacc_rec_def_2.con.xml.gz2004-04-08 13:10 505  
[ ]predta_kill_non_coacc_rev.con.body.xml.gz2004-04-08 13:10 1.0K 
[ ]predta_kill_non_coacc_rev.con.types.xml.gz2004-04-08 13:10 879  
[ ]predta_kill_non_coacc_rev.con.xml.gz2004-04-08 13:10 721  
[ ]predta_kill_non_coacc_semantics.con.body.xml.gz2004-04-08 13:10 1.8K 
[ ]predta_kill_non_coacc_semantics.con.types.xml.gz2004-04-08 13:10 2.7K 
[ ]predta_kill_non_coacc_semantics.con.xml.gz2004-04-08 13:10 576  
[ ]rec_co.con.body.xml.gz2004-04-08 13:10 638  
[ ]rec_co.con.types.xml.gz2004-04-08 13:10 638  
[ ]rec_co.con.xml.gz2004-04-08 13:10 551  
[ ]rec_co_0.con.body.xml.gz2004-04-08 13:10 1.2K 
[ ]rec_co_0.con.types.xml.gz2004-04-08 13:10 1.9K 
[ ]rec_co_0.con.xml.gz2004-04-08 13:10 1.0K 
[ ]rec_co_1.con.body.xml.gz2004-04-08 13:10 1.1K 
[ ]rec_co_1.con.types.xml.gz2004-04-08 13:10 2.0K 
[ ]rec_co_1.con.xml.gz2004-04-08 13:10 1.0K 
[ ]rec_co_2.con.body.xml.gz2004-04-08 13:10 542  
[ ]rec_co_2.con.types.xml.gz2004-04-08 13:10 861  
[ ]rec_co_2.con.xml.gz2004-04-08 13:10 522  
[ ]rec_co_3.con.body.xml.gz2004-04-08 13:10 1.1K 
[ ]rec_co_3.con.types.xml.gz2004-04-08 13:10 2.8K 
[ ]rec_co_3.con.xml.gz2004-04-08 13:10 964  
[ ]rec_co_4.con.body.xml.gz2004-04-08 13:10 1.0K 
[ ]rec_co_4.con.types.xml.gz2004-04-08 13:10 2.0K 
[ ]rec_co_4.con.xml.gz2004-04-08 13:10 865  
[ ]rec_co_5.con.body.xml.gz2004-04-08 13:10 743  
[ ]rec_co_5.con.types.xml.gz2004-04-08 13:10 675  
[ ]rec_co_5.con.xml.gz2004-04-08 13:10 585  
[ ]rec_co_6.con.body.xml.gz2004-04-08 13:10 959  
[ ]rec_co_6.con.types.xml.gz2004-04-08 13:10 1.1K 
[ ]rec_co_6.con.xml.gz2004-04-08 13:10 419  
[ ]rec_co_7.con.body.xml.gz2004-04-08 13:10 2.5K 
[ ]rec_co_7.con.types.xml.gz2004-04-08 13:10 3.2K 
[ ]rec_co_7.con.xml.gz2004-04-08 13:10 738  
[ ]rec_co_8.con.body.xml.gz2004-04-08 13:10 2.3K 
[ ]rec_co_8.con.types.xml.gz2004-04-08 13:10 2.9K 
[ ]rec_co_8.con.xml.gz2004-04-08 13:10 730  
[ ]rec_co_9.con.body.xml.gz2004-04-08 13:10 1.1K 
[ ]rec_co_9.con.types.xml.gz2004-04-08 13:10 1.0K 
[ ]rec_co_9.con.xml.gz2004-04-08 13:10 937  
[ ]rec_co_10.con.body.xml.gz2004-04-08 13:10 11K 
[ ]rec_co_10.con.types.xml.gz2004-04-08 13:10 13K 
[ ]rec_co_10.con.xml.gz2004-04-08 13:10 565  
[ ]rec_co_def_0.con.body.xml.gz2004-04-08 13:10 663  
[ ]rec_co_def_0.con.types.xml.gz2004-04-08 13:10 215  
[ ]rec_co_def_0.con.xml.gz2004-04-08 13:10 507  
[ ]rec_co_def_1.con.body.xml.gz2004-04-08 13:10 671  
[ ]rec_co_def_1.con.types.xml.gz2004-04-08 13:10 215  
[ ]rec_co_def_1.con.xml.gz2004-04-08 13:10 515  
[ ]rec_co_def_2.con.body.xml.gz2004-04-08 13:10 675  
[ ]rec_co_def_2.con.types.xml.gz2004-04-08 13:10 215  
[ ]rec_co_def_2.con.xml.gz2004-04-08 13:10 517  
[ ]rec_co_def_3.con.body.xml.gz2004-04-08 13:10 599  
[ ]rec_co_def_3.con.types.xml.gz2004-04-08 13:10 215  
[ ]rec_co_def_3.con.xml.gz2004-04-08 13:10 307  
[ ]rec_co_def_4.con.body.xml.gz2004-04-08 13:10 1.0K 
[ ]rec_co_def_4.con.types.xml.gz2004-04-08 13:10 215  
[ ]rec_co_def_4.con.xml.gz2004-04-08 13:10 359  
[ ]rec_co_rec.con.body.xml.gz2004-04-08 13:10 361  
[ ]rec_co_rec.con.types.xml.gz2004-04-08 13:10 708  
[ ]rec_co_rec.con.xml.gz2004-04-08 13:10 533  
[ ]rec_co_rec_0.con.body.xml.gz2004-04-08 13:10 954  
[ ]rec_co_rec_0.con.types.xml.gz2004-04-08 13:10 1.6K 
[ ]rec_co_rec_0.con.xml.gz2004-04-08 13:10 1.0K 
[ ]rec_co_rec_1.con.body.xml.gz2004-04-08 13:10 924  
[ ]rec_co_rec_1.con.types.xml.gz2004-04-08 13:10 1.7K 
[ ]rec_co_rec_1.con.xml.gz2004-04-08 13:10 1.0K 
[ ]rec_co_rec_2.con.body.xml.gz2004-04-08 13:10 455  
[ ]rec_co_rec_2.con.types.xml.gz2004-04-08 13:10 743  
[ ]rec_co_rec_2.con.xml.gz2004-04-08 13:10 528  
[ ]rec_co_rec_3.con.body.xml.gz2004-04-08 13:10 841  
[ ]rec_co_rec_3.con.types.xml.gz2004-04-08 13:10 2.3K 
[ ]rec_co_rec_3.con.xml.gz2004-04-08 13:10 972  
[ ]rec_co_rec_4.con.body.xml.gz2004-04-08 13:10 792  
[ ]rec_co_rec_4.con.types.xml.gz2004-04-08 13:10 1.6K 
[ ]rec_co_rec_4.con.xml.gz2004-04-08 13:10 881  
[ ]rec_co_rec_def_0.con.body.xml.gz2004-04-08 13:10 562  
[ ]rec_co_rec_def_0.con.types.xml.gz2004-04-08 13:10 221  
[ ]rec_co_rec_def_0.con.xml.gz2004-04-08 13:10 514  
[ ]rec_co_rec_def_1.con.body.xml.gz2004-04-08 13:10 569  
[ ]rec_co_rec_def_1.con.types.xml.gz2004-04-08 13:10 221  
[ ]rec_co_rec_def_1.con.xml.gz2004-04-08 13:10 523  
[ ]rec_co_rec_def_2.con.body.xml.gz2004-04-08 13:10 572  
[ ]rec_co_rec_def_2.con.types.xml.gz2004-04-08 13:10 221  
[ ]rec_co_rec_def_2.con.xml.gz2004-04-08 13:10 524  
[ ]rec_nonco_kill.con.body.xml.gz2004-04-08 13:10 729  
[ ]rec_nonco_kill.con.types.xml.gz2004-04-08 13:10 727  
[ ]rec_nonco_kill.con.xml.gz2004-04-08 13:10 628  
[ ]rec_nonco_kill_0.con.body.xml.gz2004-04-08 13:10 2.8K 
[ ]rec_nonco_kill_0.con.types.xml.gz2004-04-08 13:10 4.1K 
[ ]rec_nonco_kill_0.con.xml.gz2004-04-08 13:10 1.0K 
[ ]rec_nonco_kill_1.con.body.xml.gz2004-04-08 13:10 1.1K 
[ ]rec_nonco_kill_1.con.types.xml.gz2004-04-08 13:10 2.0K 
[ ]rec_nonco_kill_1.con.xml.gz2004-04-08 13:10 1.0K 
[ ]rec_nonco_kill_2.con.body.xml.gz2004-04-08 13:10 560  
[ ]rec_nonco_kill_2.con.types.xml.gz2004-04-08 13:10 894  
[ ]rec_nonco_kill_2.con.xml.gz2004-04-08 13:10 536  
[ ]rec_nonco_kill_3.con.body.xml.gz2004-04-08 13:10 1.1K 
[ ]rec_nonco_kill_3.con.types.xml.gz2004-04-08 13:10 2.9K 
[ ]rec_nonco_kill_3.con.xml.gz2004-04-08 13:10 967  
[ ]rec_nonco_kill_4.con.body.xml.gz2004-04-08 13:10 1.0K 
[ ]rec_nonco_kill_4.con.types.xml.gz2004-04-08 13:10 2.1K 
[ ]rec_nonco_kill_4.con.xml.gz2004-04-08 13:10 885  
[ ]rec_nonco_kill_def_0.con.body.xml.gz2004-04-08 13:10 689  
[ ]rec_nonco_kill_def_0.con.types.xml.gz2004-04-08 13:10 226  
[ ]rec_nonco_kill_def_0.con.xml.gz2004-04-08 13:10 519  
[ ]rec_nonco_kill_def_1.con.body.xml.gz2004-04-08 13:10 698  
[ ]rec_nonco_kill_def_1.con.types.xml.gz2004-04-08 13:10 226  
[ ]rec_nonco_kill_def_1.con.xml.gz2004-04-08 13:10 527  
[ ]rec_nonco_kill_def_2.con.body.xml.gz2004-04-08 13:10 700  
[ ]rec_nonco_kill_def_2.con.types.xml.gz2004-04-08 13:10 226  
[ ]rec_nonco_kill_def_2.con.xml.gz2004-04-08 13:10 529  
[ ]reconnaissance_co.ind.types.xml.gz2004-04-08 13:10 221  
[ ]reconnaissance_co.ind.xml.gz2004-04-08 13:10 2.0K 
[ ]reconnaissance_co_ind.con.body.xml.gz2004-04-08 13:10 1.3K 
[ ]reconnaissance_co_ind.con.types.xml.gz2004-04-08 13:10 1.2K 
[ ]reconnaissance_co_ind.con.xml.gz2004-04-08 13:10 1.1K 
[ ]state_reconnait_co_ind.con.body.xml.gz2004-04-08 13:10 1.3K 
[ ]state_reconnait_co_ind.con.types.xml.gz2004-04-08 13:10 1.2K 
[ ]state_reconnait_co_ind.con.xml.gz2004-04-08 13:10 1.1K 
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80