Index of /~bojan/papers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]manu.html2011-11-07 10:39 439  
[   ]paradox.pdf2011-11-07 10:39 81K 
[   ]rp-non-homo.pdf2012-10-08 12:40 91K 
[   ]calco.pdf2015-04-04 11:42 106K 
[   ]ltt.pdf2011-11-07 10:39 116K 
[   ]automatadatawords.pdf2011-11-07 10:39 119K 
[   ]lics-data.pdf2011-11-07 10:39 130K 
[   ]lics-bounds.pdf2011-11-07 10:39 136K 
[   ]unarytemporal.pdf2011-11-07 10:39 150K 
[   ]finmod-guarded.pdf2012-03-09 10:59 153K 
[   ]regexp.pdf2011-11-07 10:39 155K 
[   ]boundeddepth.pdf2011-11-07 10:39 171K 
[   ]actl.pdf2011-11-07 10:39 172K 
[   ]wreath.pdf2011-11-07 10:39 175K 
[   ]pebbles.pdf2011-11-07 10:39 185K 
[   ]beyondomega.pdf2011-11-07 10:39 188K 
[   ]pisigma.pdf2011-11-07 10:39 189K 
[   ]baran.pdf2011-11-07 10:39 190K 
[   ]nominals.pdf2011-11-07 10:39 205K 
[   ]forest.pdf2011-11-07 10:39 215K 
[   ]skon.pdf2011-11-07 10:39 218K 
[   ]twamim.pdf2011-11-07 10:39 220K 
[   ]dtwa.pdf2011-11-07 10:39 220K 
[   ]csl2004.pdf2011-11-07 10:39 222K 
[   ]dtwa-sep.pdf2017-12-27 11:21 224K 
[   ]max.pdf2011-11-07 10:39 234K 
[   ]linearXPath.pdf2011-11-07 10:39 241K 
[   ]nominal-computation.pdf2011-11-13 14:18 243K 
[   ]simon.pdf2011-11-07 10:39 249K 
[   ]forests-dlt.pdf2011-11-07 10:39 249K 
[   ]minaut.pdf2011-11-07 10:39 268K 
[   ]linear.pdf2011-11-07 10:39 275K 
[   ]hodata.pdf2011-11-07 10:39 280K 
[   ]datatransducer.pdf2011-11-07 10:39 290K 
[   ]mso-u-undecidable.pdf2014-06-27 16:37 292K 
[   ]pods.pdf2011-11-07 10:39 298K 
[   ]timelogic.pdf2011-11-07 10:39 303K 
[   ]twasurvey.pdf2011-11-07 10:39 312K 
[   ]efinf.pdf2011-11-07 10:39 320K 
[   ]treealgs.pdf2011-12-29 17:55 326K 
[   ]survey.pdf2011-11-07 10:39 345K 
[   ]model-theory-fm.pdf2012-05-21 16:53 356K 
[   ]classautomata.pdf2011-11-07 10:39 359K 
[   ]unary.pdf2011-11-07 10:39 370K 
[   ]complete-atom.pdf2013-05-24 10:15 371K 
[   ]eftcs.pdf2011-11-07 10:39 372K 
[   ]exchange.pdf2011-11-07 10:39 376K 
[   ]simon-lmcs.pdf2013-01-18 12:54 402K 
[   ]timed-fm.pdf2012-05-21 16:50 404K 
[   ]thin-trees.pdf2013-05-24 10:15 408K 
[   ]classautomata-lmcs.pdf2013-01-18 12:51 424K 
[   ]datamonoids.pdf2011-11-07 10:39 425K 
[   ]wreath-lmcs.pdf2013-01-18 12:57 431K 
[   ]while-atom.pdf2013-06-03 11:18 441K 
[   ]datatreejournal.pdf2011-11-07 10:39 448K 
[   ]bounds-lmcs.pdf2011-11-07 10:39 489K 
[   ]pisigma-lmcs.pdf2013-01-18 12:59 493K 
[   ]max-journal.pdf2011-12-30 12:32 503K 
[   ]datatreeacm.pdf2011-11-07 10:39 512K 
[   ]vanderwerf.pdf2017-03-01 10:03 530K 
[   ]nominalmonoids.pdf2015-03-03 21:28 559K 
[   ]jtwa.pdf2011-11-07 10:39 652K 
[   ]twasiam.pdf2011-11-07 10:39 808K 
[   ]KosarajuDecidability82.pdf2011-11-07 10:39 829K 
[   ]mu-types.pdf2015-04-04 11:42 926K 
[   ]colco-stacso.pdf2015-04-04 11:42 966K 
[   ]rownania.pdf2011-11-07 10:39 1.0M 
[   ]turing-atom.pdf2014-03-24 14:13 1.1M 
[   ]LICS18_paper_196.pdf2018-02-01 17:26 1.1M 
[   ]exchange-journal.pdf2012-07-23 12:16 1.3M 
[   ]driven-atom.pdf2013-05-24 10:15 1.3M 
[   ]twareg.pdf2011-11-07 10:39 1.3M 
[   ]atomturing.pdf2013-02-11 15:09 1.4M 
[   ]phd.pdf2011-11-07 10:39 1.5M 
[   ]origin-transducer.pdf2014-04-30 09:38 1.6M 
[   ]bool-open.pdf2012-05-21 17:01 1.7M 
[   ]wmsoup.pdf2014-04-30 09:51 1.9M 
[   ]wmsou-trees.pdf2012-01-03 14:35 2.1M 
[   ]dataminor.pdf2012-10-11 14:22 2.3M 
[   ]monads.pdf2014-12-15 11:53 2.6M 
[   ]jaiobis-7.pdf2017-11-07 13:25 3.2M 
[   ]jaiobis-8.pdf2017-11-13 17:24 3.4M 
[   ]toolbox-reduced-feb6.pdf2018-02-06 17:39 3.5M 
[   ]toolbox-reduced-feb2.pdf2018-02-02 17:49 3.5M 
[   ]toolbox.pdf2024-02-06 11:17 3.7M 
[   ]sigmod-algebra.pdf2012-03-19 11:12 3.8M 
[   ]algebra-26-aug-2020.pdf2020-08-26 15:53 71M 
[   ]jaiobis-6.pdf2017-11-02 14:52 115M 

Apache Server at mimuw.edu.pl Port 443