Index of /Teaching/DD-SS18/Datalog

[ICO]NameLast modifiedSizeDescription

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

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