| |
# of records = 53
homepages/65/6546 conf/rta/ClavelDEELMMT09 journals/entcs/DuranRBBEKKMSV09 conf/maude/2007 conf/maude/ClavelDELMMT07 conf/maude/ClavelDELMMT07d conf/maude/ClavelDELMMT07e conf/maude/ClavelDELMMTPV07 conf/maude/ClavelDELMMT07f conf/maude/ClavelDELMMT07g conf/maude/ClavelDELMMTPV07a conf/maude/ClavelDELMMT07a conf/maude/ClavelDELMMT07h conf/maude/ClavelDELMMT07i conf/maude/ClavelDELMMT07j conf/maude/ClavelDELMMT07b conf/maude/ClavelDELMMT07k conf/maude/ClavelDELMMT07l conf/maude/ClavelDELMMTRV07 conf/maude/ClavelDELMMT07m conf/maude/ClavelDELMMT07n conf/maude/ClavelDELMMT07o conf/maude/ClavelDELMMT07c conf/maude/ClavelDELMMT07p conf/maude/ClavelDELMMTBFHOPSSV07 conf/maude/ClavelDELMMT07q conf/maude/ClavelDELMMT07r conf/maude/ClavelDELMMT07s journals/entcs/EkerMMV07 journals/entcs/DenkerTRBES07 conf/csb/KnappBELPTL05 conf/psb/TalcottEKLL04 conf/cmsb/EkerLLST03 conf/csb/TalcottEKLL03 conf/fm/RosuELM03 conf/rta/Eker03 conf/rta/ClavelDELMMT03 conf/spin/EkerMS03 conf/psb/EkerKLLMS02 journals/entcs/EkerKLLT02 journals/entcs/EkerMS02 journals/jar/Eker02 journals/tcs/ClavelDELMMQ02 conf/ma/DuranELM00 conf/fase/ClavelDELMMQ00 journals/entcs/ClavelDELMMQ00 conf/rta/ClavelDELMMQ99 conf/fm/ClavelDEMS99 journals/entcs/ClavelDELMMQ98 journals/entcs/ClavelDELMM98 journals/entcs/Eker98 journals/entcs/Eker96 journals/entcs/ClavelELM96
Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)