| |
# of records = 46
homepages/08/2686 conf/diagrams/MineshimaOST08 conf/asian/BanaHO07 conf/birthday/OkadaT07 conf/birthday/OkadaSYK06 journals/corr/abs-cs-0610063 journals/corr/abs-cs-0610066 journals/entcs/HasebeO06 journals/mscs/KanovichOT06 conf/isss2/2002 conf/isss2/HasebeO03 journals/tcs/GirardOS03 journals/tcs/KanovichOS03 journals/tcs/NagayamaO03 conf/isss2/HasebeO02 conf/isss2/HasebeO02a conf/dsp/Okada02 journals/tcs/Dezani-CiancagliniOT02 journals/tcs/BlanquiJO02 journals/tcs/Okada02 journals/jsyml/NagayamaO01 conf/rta/BlanquiJO99 journals/jsyml/OkadaT99 journals/tcs/Okada99 journals/aml/HamanoO98 journals/entcs/KanovichOS98 journals/entcs/KanovichOS97 journals/mlq/HamanoO97 journals/tcs/JouannaudO97 journals/entcs/NagayamaO96 journals/entcs/Okada96 journals/entcs/GirardOS96 conf/lpar/GuiO93 conf/rta/GuiO93 conf/ctrs/1990 conf/icalp/JouannaudO91 conf/lics/JouannaudO91 journals/tcs/DershowitzO90 conf/issac/Okada89 conf/cade/DershowitzOS88 conf/fgcs/DershowitzO88 conf/lics/DershowitzO88 journals/jsyml/Okada88 conf/ctrs/Okada87 conf/ctrs/DershowitzOS87 journals/jsyml/Okada87
Copyright © 2009-11-23 by Michael Ley (ley@uni-trier.de)