| |
# of records = 14
homepages/a/JavierLeachAlbert conf/ppdp/ClevaLL04 journals/corr/cs-PL-0404053 conf/flops/LeachN01 journals/tplp/LeachNR01 conf/wflp/LeachN00 journals/jsc/MartinGL00 conf/tableaux/MartinGL98 conf/slp/LeachNR97 conf/aisc/GavilanesLMN96 conf/amast/GavilanesLN96 journals/jancl/LeachN93 conf/lpar/LeachN92 conf/icalp/1991
Copyright © 2009-12-01 by Michael Ley (ley@uni-trier.de)