Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ternary.trs.cim2 | 2004-07-01 14:38 | 891 | ||
ternary.trs | 2004-03-05 16:27 | 617 | ||
temporal-logic.trs.cim2 | 2004-07-01 14:38 | 2.9K | ||
temporal-logic.trs | 2004-03-05 16:27 | 4.3K | ||
sequent_modulo.trs.cim2 | 2004-07-01 14:38 | 4.2K | ||
sequent_modulo.trs | 2004-03-05 16:27 | 2.9K | ||
rationals.trs.cim2 | 2004-07-01 14:36 | 3.8K | ||
rationals.trs | 2004-03-05 16:27 | 2.5K | ||
maude2.trs.cim2 | 2004-07-01 14:33 | 1.6K | ||
maude2.trs | 2004-05-26 10:06 | 2.1K | ||
kusakari1.trs.cim2 | 2004-07-01 14:31 | 225 | ||
kusakari1.trs | 2004-03-05 16:27 | 167 | ||
intersect.trs.cim2 | 2004-07-01 14:30 | 658 | ||
intersect.trs | 2004-03-05 16:27 | 425 | ||
differ.trs.cim2 | 2004-07-01 14:29 | 790 | ||
differ.trs | 2004-03-05 16:27 | 445 | ||
boolean_rings.trs.cim2 | 2004-07-01 14:27 | 649 | ||
boolean_rings.trs | 2004-03-05 16:27 | 484 | ||
bag-sum-prod.trs.cim2 | 2004-07-01 14:27 | 649 | ||
bag-sum-prod.trs | 2004-03-05 16:27 | 394 | ||
bag-sum-prod-distr.trs.cim2 | 2004-07-01 14:27 | 868 | ||
bag-sum-prod-distr.trs | 2004-03-05 16:27 | 541 | ||
bag-sum-prod-bin.trs.cim2 | 2004-07-01 14:27 | 808 | ||
bag-sum-prod-bin.trs | 2004-03-05 16:27 | 483 | ||
bag-sum-prod-bin-distr.trs.cim2 | 2004-07-01 14:27 | 868 | ||
bag-sum-prod-bin-distr.trs | 2004-03-05 16:27 | 541 | ||