Zobrazeno 1 - 10
of 47
pro vyhledávání: '"Moeller, Bernhard"'
Autor:
Möller, Bernhard
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming April 2019 104:274-302
Publikováno v:
Logical Methods in Computer Science, Volume 7, Issue 1 (February 11, 2011) lmcs:777
Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, L\"ob's formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings, which are addi
Externí odkaz:
http://arxiv.org/abs/1012.5803
Publikováno v:
In Journal of Logic and Algebraic Programming 2011 80(6):266-296
Autor:
Höfner, Peter, Möller, Bernhard
Publikováno v:
In Theoretical Computer Science 2011 412(28):3303-3322
Autor:
Guttmann, Walter, Möller, Bernhard
Publikováno v:
In Journal of Logic and Algebraic Programming 2010 79(2):144-173
Publikováno v:
In Science of Computer Programming 2010 75(11):1022-1047
Autor:
Höfner, Peter, Möller, Bernhard
Publikováno v:
In Journal of Logic and Algebraic Programming 2009 78(2):74-97
Autor:
Höfner, Peter, Möller, Bernhard
Publikováno v:
In Journal of Logic and Algebraic Programming 2008 76(1):35-59
Publikováno v:
In Journal of Logic and Algebraic Programming 2006 66(2):127-160