Caroline Lemke

Kontakt

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

Summer term 2025

[article] bibtex | Go to document
C. Lemke, "Galois Energy Games" Archive of Formal Proofs.
@article{Galois_Energy_Games-AFP, author = {Caroline Lemke}, title = {Galois Energy Games}, journal = {Archive of Formal Proofs}, month = {May}, year = {2025}, url = {https://isa-afp.org/entries/Galois_Energy_Games.html}, note = {Formal proof development}, ISSN = {2150-914x},

Webmaster (Changed: 18 Jun 2025) | Kurz-URL:Shortlink: https://uole.de/p110914en