History log of /hets/GMP/papers/optimizing/opt.tex
Revision Date Author Comments Expand
967c8f121d4bb27accba7c2e117ad64e6fa6aada 23-Jun-2010 Daniel Hausmann <hausmann@informatik.uni-bremen.de>

typos :&lt; git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13614 cec4b9c1-7d33-0410-9eda-942365e851bb
6a4fa2d53294f484fa8788a75656eff4ad1fd703 23-Jun-2010 Daniel Hausmann <hausmann@informatik.uni-bremen.de>

paper about general optimizations of algorithms for coalgebraic modal logics with global assumptions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13612 cec4b9c1-7d33-0410-9eda-942365e851bb

INSTALL README Ustmry.fd aliascnt.sty coalgml.bib entcs.bst entcs.cls entcsmacro.sty header.tex ifpdf.sty instr.ascii kvoptions.sty llncs.cls llncs.dem llncs.doc llncs.ind llncsdoc.sty mathpartir.sty myabbrv.bst opt.aux opt.bbl opt.blg opt.dvi opt.log opt.out opt.pdf opt.tex ps-type1/hoekwater/README ps-type1/hoekwater/afm/stmary10.afm ps-type1/hoekwater/afm/stmary5.afm ps-type1/hoekwater/afm/stmary6.afm ps-type1/hoekwater/afm/stmary7.afm ps-type1/hoekwater/afm/stmary8.afm ps-type1/hoekwater/afm/stmary9.afm ps-type1/hoekwater/pfm/stmary10.pfm ps-type1/hoekwater/pfm/stmary5.pfm ps-type1/hoekwater/pfm/stmary6.pfm ps-type1/hoekwater/pfm/stmary7.pfm ps-type1/hoekwater/pfm/stmary8.pfm ps-type1/hoekwater/pfm/stmary9.pfm ps-type1/hoekwater/stmary10.pfb ps-type1/hoekwater/stmary5.pfb ps-type1/hoekwater/stmary6.pfb ps-type1/hoekwater/stmary7.pfb ps-type1/hoekwater/stmary8.pfb ps-type1/hoekwater/stmary9.pfb refcount.drv refcount.dtx refcount.ins refcount.log refcount.sty splncs03.bst sprmindx.sty stmary10.600pk stmary10.657pk stmary10.mf stmary10.tfm stmary5.600pk stmary5.mf stmary5.tfm stmary6.600pk stmary6.mf stmary6.tfm stmary7.600pk stmary7.mf stmary7.tfm stmary8.600pk stmary8.mf stmary8.tfm stmary9.600pk stmary9.mf stmary9.tfm stmaryaj.mf stmaryba.mf stmarych.mf stmaryjg.mf stmaryrd.aux stmaryrd.dtx stmaryrd.dvi stmaryrd.ins stmaryrd.log stmaryrd.mf stmaryrd.pdf stmaryrd.sty subjidx.ind tkz-arith.sty tkz-berge.sty tkz-graph.sty x.log