| |
# of records = 45
homepages/s/RichardStatman journals/corr/abs-0903-1374 conf/tlca/IntrigilaS07 journals/corr/abs-cs-0609080 journals/lmcs/IntrigilaS06 conf/ictcs/Statman05 conf/birthday/StatmanB05 journals/apal/IntrigilaS05 conf/lics/IntrigilaS04 journals/apal/Statman04 conf/lics/Statman02 journals/fuin/Statman01 conf/lpar/Statman00 conf/rta/Statman00 conf/tlca/Statman99 journals/jfp/StatmanB99 journals/mscs/Statman99 conf/csl/Statman98 conf/rta/Statman97 journals/jsyml/NarendranPS97 conf/csl/Statman96 conf/lics/NarendranPS93 journals/tcs/Statman93 conf/lics/LiguoroPS92 journals/ipl/ZhangSS92 conf/lics/Statman91 journals/jct/FurstGS89 journals/jsc/Statman89 journals/tcs/Statman89 conf/colt/CherniavskyVS88 conf/popl/MeyerMMS87 conf/lics/Statman86 journals/tcs/PasztorS86 journals/tcs/Statman86 journals/iandc/Statman85 journals/jacm/BeeriDFS84 journals/ipl/LewisS82 journals/jsyml/Statman82 conf/focs/Statman81 journals/tcs/Statman81 journals/siamcomp/Statman80 conf/scc/GourlayRS79 journals/tcs/Statman79 journals/tcs/Statman79a conf/focs/Statman77
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)