Tomas Petricek

  joint publications with Dominic A. Orchard

Keys

# of publication records = 5

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

Publications

maintained by Schloss Dagstuhl LZI at University of Trier