dblp keys for Andrej Bauer

Andrej Bauer

Keys

# of data records = 66

homepages/18/3796 journals/jar/HaselwarterB23 conf/nips/BauerPT23 journals/corr/abs-2310-16005 journals/informaticaSI/MassriCBGBS22 journals/lmcs/BauerK22 journals/lmcs/Bauer22 journals/corr/abs-2103-07397 journals/corr/abs-2112-00539 conf/esop/AhmanB20 conf/icms/BauerHP20 journals/corr/abs-2009-05539 journals/lmcs/BauerS19 journals/corr/abs-1910-11629 journals/corr/abs-1802-06217 journals/corr/abs-1804-00427 journals/corr/abs-1807-05923 journals/dagstuhl-reports/BauerELM18 journals/jla/BauerBFSTZ17 journals/siglog/Bauer17 conf/cpp/BauerGLSSS17 conf/types/BauerGHPS16 journals/corr/BauerGLSSS16 journals/dagstuhl-reports/Bauer0PY16 journals/jlp/BauerP15 journals/mscs/Bauer15 journals/corr/BauerP13 journals/tcs/BauerPS14 conf/calco/BauerP13 conf/fossacs/BauerHK13 journals/apal/BauerCSS12 journals/apal/BauerL12 journals/ijufks/HajdinjakB12 journals/tcs/Bauer12 journals/corr/abs-1203-1539 journals/jucs/BauerHK10 journals/jucs/BauerB10 journals/apal/BauerK09 journals/informaticaSI/HajdinjakB09 journals/logcom/BauerS09 journals/mscs/BauerT09 conf/cca/BauerB09 conf/cca/BauerHK09 conf/cca/BauerHK09a journals/entcs/Bauer09 conf/cca/2009 journals/aml/AwodeyB08 journals/entcs/BauerM08 conf/mfps/2008 conf/cie/BauerS07 journals/entcs/BauerK08 conf/cca/BauerT05 conf/cca/Bauer05 journals/entcs/Bauer06 journals/entcs/BauerS06 journals/logcom/AwodeyB04 journals/mlq/BauerS04 journals/tcs/BauerBS04 journals/mlq/Bauer02 conf/icalp/BauerES02 journals/entcs/Bauer01 conf/csl/BauerB00 journals/jsc/BauerP99 journals/jar/BauerCZ98 journals/entcs/Bauer00 conf/aisc/BauerCZ96

a service of  Schloss Dagstuhl - Leibniz Center for Informatics