Index of /Teaching/DD-WS1617/Datalog

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]aggregation.P2017-12-26 10:57 547  
[   ]aggregation.xwam2014-01-24 18:16 1.3M 
[TXT]aggregation2.P2017-12-26 10:57 454  
[TXT]aggrsubsumpt.P2017-12-26 10:57 162  
[TXT]aggs.P2014-01-24 18:18 864  
[TXT]arithmetics.P2017-12-26 10:57 91  
[   ]bl2.s2017-12-26 10:57 3.3K 
[   ]bl3.s2017-12-26 10:57 3.4K 
[TXT]bla.P2017-12-26 10:57 11  
[   ]bla.s2017-12-26 10:57 11  
[   ]bla.s.xwam2014-01-24 18:16 155  
[   ]bla.xwam2014-01-24 18:16 155  
[   ]bundesligatabelle.s2017-12-26 10:57 3.2K 
[TXT]cwithbigcity.P2017-12-26 10:57 119  
[   ]disj.s2017-12-26 10:57 36  
[   ]escherstairs.s2017-12-26 10:57 501  
[   ]farmer.s2017-12-26 10:57 1.1K 
[   ]fishpuzzle.s2017-12-26 10:57 5.5K 
[TXT]headquartercaps.P2017-12-26 10:57 415  
[   ]headquartercaps.xwam2015-05-08 15:39 1.3M 
[TXT]headquartercapsbig.P2017-12-26 10:57 298  
[   ]headquartercapsbig.xwam2014-01-24 18:16 1.3M 
[   ]italians-english.s2017-12-26 10:57 602  
[TXT]landlocked.P2014-01-24 18:18 304  
[TXT]landlocked2.P2014-01-24 18:18 384  
[TXT]lowesthighestmountain.P2017-12-26 10:57 365  
[   ]meals-disj.s2017-12-26 10:57 440  
[TXT]meals.P2017-12-26 10:57 531  
[   ]meals.s2017-12-26 10:57 659  
[TXT]mondial.P2017-12-26 10:57 2.1M 
[   ]mondial.xwam2014-01-24 18:16 1.3M 
[TXT]neighbourcount.P2014-01-24 18:18 1.4K 
[TXT]orgOnContsDiv.P2017-12-26 10:57 340  
[   ]parricide.s2017-12-26 10:57 727  
[   ]pnotp.s2017-12-26 10:57 18  
[   ]porq-denial.s2017-12-26 10:57 45  
[   ]porq.s2017-12-26 10:57 36  
[   ]pporq.s2017-12-26 10:57 42  
[TXT]pq.P2017-12-26 10:57 67  
[   ]pq.s2017-12-26 10:57 90  
[TXT]prologask.P2017-12-26 10:57 597  
[   ]prologask.xwam2014-01-24 18:16 1.3M 
[TXT]prologbrussels.P2017-12-26 10:57 342  
[   ]prologbrussels.xwam2014-01-24 18:16 1.3M 
[TXT]prologcut.P2017-12-26 10:57 343  
[   ]qnotp.s2017-12-26 10:57 18  
[   ]refint-del-b1.s2017-12-26 10:57 424  
[   ]refint-del-b2.s2017-12-26 10:57 507  
[   ]refint-del-d.s2017-12-26 10:57 408  
[   ]refint.s2017-12-26 10:57 917  
[   ]refint1.s2017-12-26 10:57 665  
[   ]refint1b.s2017-12-26 10:57 850  
[   ]refint2.s2017-12-26 10:57 360  
[   ]refint3.s2017-12-26 10:57 625  
[   ]refint4.s2017-12-26 10:57 771  
[   ]refint4b.s2017-12-26 10:57 771  
[TXT]schweizersprachen.P2014-01-24 18:18 513  
[TXT]tcRivers.P2017-12-26 10:57 153  
[TXT]transitiveclosure.P2017-12-26 10:57 213  
[   ]transitiveclosure.xwam2014-01-24 18:16 1.3M 
[TXT]transitiveclosure2.P2017-12-26 10:57 319  
[   ]tweety-circ.s2017-12-26 10:57 79  
[   ]tweety.s2017-12-26 10:57 51  
[   ]tweety2.s2017-12-26 10:57 68  
[   ]winmove-small.s2017-12-26 10:57 144  
[TXT]winmove.P2017-12-26 10:57 387  
[   ]winmove.s2017-12-26 10:57 352  
[   ]winmove.xwam2014-01-24 18:16 1.3K 
[TXT]winmovebug.P2017-12-26 10:57 251  
[   ]winmovebug.xwam2014-01-24 18:16 873  
[TXT]winmovesmall.P2017-12-26 10:57 173  

Apache Server at www.dbis.informatik.uni-goettingen.de Port 443