Index of /~tarau/research/2018

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]A_Combinatorial_Testing_Framework_for_Intuitionistic_Propositional_Theorem_Provers.pdf05-Nov-2018 13:15 148K 
[TXT]CycArith.hs17-Dec-2018 18:55 3.8K 
[   ]CycArith.pdf17-Dec-2018 19:03 218K 
[   ]boltzmann__sampler_tplp.pdf28-Aug-2018 16:03 597K 
[   ]iprover_rcra18.pdf28-May-2018 07:55 144K 
[   ]lopstr_lncs_uniquely_colorable_terms.pdf19-Feb-2018 12:37 171K 
[   ]padl_18_On_k-colored_Lambda_Terms_and_their_Skeletons.pdf19-Oct-2017 17:17 145K 
[   ]parlgen.pro01-Dec-2018 15:58 12K 
[   ]reinventing_a_prolog_machine.pdf28-Aug-2018 16:01 423K 
[   ]sac18.pdf28-Mar-2018 20:08 503K 
[   ]slides_cla18.pdf28-May-2018 07:17 2.7M 
[   ]slides_padl18.pdf08-Jan-2018 20:22 191K 
[   ]slides_rcra18.pdf13-Jul-2018 01:03 381K 
[   ]slides_sac18.pdf07-Apr-2018 08:48 111K 

Apache/2.2.22 (Ubuntu) Server at www.cse.unt.edu Port 80