Tomas Petricek

  joint publications with Alan Mycroft

Keys

# of publication records = 5

conf/birthday/MycroftOP16 conf/icfp/PetricekOM14 journals/corr/OrchardPM14 conf/icalp/PetricekOM13 conf/haskell/PetricekMS11

Publications

maintained by Schloss Dagstuhl LZI at University of Trier