( en | de | ru )

 

Disambiguation of "Löwe, Benedikt"

Author of the publication

copydeleteadd this publication to your clipboard
Enabling mathematical cultures: introduction.

, , and . Synth., 198 (26): 6225-6231 (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jörg Löwe

Arno Löwe

Werner Löwe

Rudolf Löwe

Richard Löwe

 

Other publications of authors with the same name

Set Theory With and Without Urelements and Categories of Interpretations.. Notre Dame J. Formal Log., 47 (1): 83-91 (2006)Belief Flow in Assertion Networks., , and . ICCS, volume 4604 of Lecture Notes in Computer Science, page 401-414. Springer, (2007)Programs, Proofs, Processes., , and . Theory Comput. Syst., 51 (3): 267-269 (2012)Computability in Europe 2010., , , and . J. Log. Comput., 25 (4): 983-985 (2015)Computability in Europe 2011., , , and . Ann. Pure Appl. Log., 164 (5): 509-510 (2013)A multiplication operation for the hierarchy of norms., and . Ann. Pure Appl. Log., 169 (7): 656-673 (2018)Revision Sequences and Computers with an Infinite Amount of Time.. J. Log. Comput., 11 (1): 25-40 (2001)Enabling mathematical cultures: introduction., , and . Synth., 198 (26): 6225-6231 (2021)Computing and the natural sciences at CiE 2005., and . Theor. Comput. Sci., 371 (1-2): 1-3 (2007)A parametrised choice principle and Martin's conjecture on Blackwell determinacy.. Math. Log. Q., 52 (2): 187-189 (2006)