| |
# of records = 88
homepages/59/3944 conf/csl/Coquand09 conf/tlca/AbelCP09 journals/apal/Coquand09 conf/esop/Coquand08 conf/flops/AbelCD08 conf/mpc/AbelCD08 journals/mlq/CoquandL08 conf/mkm/CoquandS07 conf/lics/AbelCD07 journals/corr/abs-0709-1401 journals/fuin/Coquand07 journals/fuin/AbelC07 journals/lmcs/CoquandS07 conf/dagstuhl/2005P5021 conf/lics/CoquandS06 conf/tphol/Coquand06 journals/apal/BanaschewskiCS06 journals/jfp/BartheC06 journals/mscs/CoquandL06 conf/cie/Coquand05 conf/frocos/AbelCN05 conf/galop/BerardiCH05 conf/lpar/BezemC05 conf/dagstuhl/CoquandLR05 conf/dagstuhl/Coquand05 conf/dagstuhl/CoquandLS05 conf/tlca/Coquand05 conf/tlca/AbelC05 journals/fuin/CoquandPT05 journals/jucs/CoquandS05 journals/mlq/CoquandS05 conf/types/BoveC04 journals/aml/NegriPC04 conf/tableaux/Coquand03 conf/tlca/CoquandPT03 journals/apal/CoquandSSV03 journals/eatcs/BezemC03 journals/tcs/Coquand03 journals/tcs/CoquandZ03 journals/aml/CoquandP02 conf/tlca/AltenkirchC01 conf/types/1999 conf/ac/BartheC00 conf/csl/CoquandZ00 conf/types/CoquandT00 journals/aml/CoquandP00 journals/jsyml/CoquandSSS00 journals/apal/Coquand99 journals/entcs/Coquand99 journals/mscs/CoquandH99 conf/types/CoquandP98 journals/aml/Coquand98 journals/jsyml/BerardiBC98 conf/csl/CoquandP97 journals/jsyml/Coquand97 journals/mscs/CoquandD97 journals/scp/Coquand96 conf/mpc/Coquand95 conf/tlca/BerardiBC95 conf/types/CoquandS95 journals/jsyml/Coquand95 conf/fsttcs/CoquandD94 journals/eatcs/CoquandNSS94 journals/iandc/Coquand94 journals/jfp/CoquandH94 conf/types/Coquand93 journals/tcs/Coquand93 journals/bit/Coquand92 journals/jsyml/Coquand92 conf/ctcs/Coquand91 conf/constructivity/Coquand91 journals/iandc/Breazu-TannenCGS91 conf/lics/Breazu-TannenCGS89 journals/iandc/CoquandGW89 journals/tcs/Coquand89 conf/colog/CoquandP88 conf/lics/Coquand88 journals/iandc/CoquandH88 journals/tcs/TannenC88 conf/ctcs/CoquandE87 conf/mfps/CoquandGW87 conf/tapsoft/TannenC87 conf/lics/Coquand86 conf/litp/Coquand85 conf/eurocal/CoquandH85 conf/logicColl/CoquandH85 journals/jsc/CoquandH85
Copyright © 2009-11-20 by Michael Ley (ley@uni-trier.de)