Index of /xml/Montevideo/CtlTctl/ctl
Name
Last modified
Size
Description
Parent Directory
-
not_EX.con.xml.gz
2004-04-08 18:18
702
not_EX.con.types.xml.gz
2004-04-08 18:18
1.2K
not_EX.con.body.xml.gz
2004-04-08 18:18
826
notPosible.con.xml.gz
2004-04-08 18:18
822
notPosible.con.types.xml.gz
2004-04-08 18:18
1.5K
notPosible.con.body.xml.gz
2004-04-08 18:18
1.5K
isTraceFrom.con.xml.gz
2004-04-08 18:18
429
isTraceFrom.con.types.xml.gz
2004-04-08 18:18
205
isTraceFrom.con.body.xml.gz
2004-04-08 18:18
610
isTrace.ind.xml.gz
2004-04-08 18:18
1.1K
isTrace.ind.types.xml.gz
2004-04-08 18:18
197
Until_ind.con.xml.gz
2004-04-08 18:18
1.0K
Until_ind.con.types.xml.gz
2004-04-08 18:18
1.6K
Until_ind.con.body.xml.gz
2004-04-08 18:18
1.7K
Until.ind.xml.gz
2004-04-08 18:18
1.1K
Until.ind.types.xml.gz
2004-04-08 18:18
193
TemporalOperators_CTL/
2005-07-05 08:13
-
SafePath_ind.con.xml.gz
2004-04-08 18:18
732
SafePath_ind.con.types.xml.gz
2004-04-08 18:18
749
SafePath_ind.con.body.xml.gz
2004-04-08 18:18
842
SafePath.ind.xml.gz
2004-04-08 18:18
794
SafePath.ind.types.xml.gz
2004-04-08 18:18
199
Posible_ind.con.xml.gz
2004-04-08 18:18
729
Posible_ind.con.types.xml.gz
2004-04-08 18:18
748
Posible_ind.con.body.xml.gz
2004-04-08 18:18
837
Posible.ind.xml.gz
2004-04-08 18:18
791
Posible.ind.types.xml.gz
2004-04-08 18:18
196
OneStep_EX.con.xml.gz
2004-04-08 18:18
657
OneStep_EX.con.types.xml.gz
2004-04-08 18:18
764
OneStep_EX.con.body.xml.gz
2004-04-08 18:18
662
Mon_I_S.con.xml.gz
2004-04-08 18:18
714
Mon_I_S.con.types.xml.gz
2004-04-08 18:18
1.9K
Mon_I_S.con.body.xml.gz
2004-04-08 18:18
2.2K
Mon_I_EX_S.con.xml.gz
2004-04-08 18:18
723
Mon_I_EX_S.con.types.xml.gz
2004-04-08 18:18
1.6K
Mon_I_EX_S.con.body.xml.gz
2004-04-08 18:18
1.5K
Inevitable.con.xml.gz
2004-04-08 18:18
460
Inevitable.con.types.xml.gz
2004-04-08 18:18
201
Inevitable.con.body.xml.gz
2004-04-08 18:18
649
INDEX
2005-07-05 08:11
1.2K
ForAllS.ind.xml.gz
2004-04-08 18:18
833
ForAllS.ind.types.xml.gz
2004-04-08 18:18
198
FA_Until.con.xml.gz
2004-04-08 18:18
491
FA_Until.con.types.xml.gz
2004-04-08 18:18
202
FA_Until.con.body.xml.gz
2004-04-08 18:18
689
ExistsS_ind.con.xml.gz
2004-04-08 18:18
908
ExistsS_ind.con.types.xml.gz
2004-04-08 18:18
1.4K
ExistsS_ind.con.body.xml.gz
2004-04-08 18:18
1.5K
ExistsS.ind.xml.gz
2004-04-08 18:18
899
ExistsS.ind.types.xml.gz
2004-04-08 18:18
196
Equiv4.con.xml.gz
2004-04-08 18:18
765
Equiv4.con.types.xml.gz
2004-04-08 18:18
27K
Equiv4.con.body.xml.gz
2004-04-08 18:18
24K
Equiv3.con.xml.gz
2004-04-08 18:18
755
Equiv3.con.types.xml.gz
2004-04-08 18:18
23K
Equiv3.con.body.xml.gz
2004-04-08 18:18
21K
Equiv2.con.xml.gz
2004-04-08 18:18
688
Equiv2.con.types.xml.gz
2004-04-08 18:18
3.0K
Equiv2.con.body.xml.gz
2004-04-08 18:18
2.7K
Equiv1.con.xml.gz
2004-04-08 18:18
690
Equiv1.con.types.xml.gz
2004-04-08 18:18
3.3K
Equiv1.con.body.xml.gz
2004-04-08 18:18
3.2K
EX_Until_ind.con.xml.gz
2004-04-08 18:18
783
EX_Until_ind.con.types.xml.gz
2004-04-08 18:18
798
EX_Until_ind.con.body.xml.gz
2004-04-08 18:18
899
EX_Until.ind.xml.gz
2004-04-08 18:18
870
EX_Until.ind.types.xml.gz
2004-04-08 18:18
200
ConsTrace.con.xml.gz
2004-04-08 18:18
757
ConsTrace.con.types.xml.gz
2004-04-08 18:18
22K
ConsTrace.con.body.xml.gz
2004-04-08 18:18
16K
Conj_S.con.xml.gz
2004-04-08 18:18
783
Conj_S.con.types.xml.gz
2004-04-08 18:18
13K
Conj_S.con.body.xml.gz
2004-04-08 18:18
11K
Always.con.xml.gz
2004-04-08 18:18
456
Always.con.types.xml.gz
2004-04-08 18:18
197
Always.con.body.xml.gz
2004-04-08 18:18
644
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80