]> git.ralfj.de Git - web.git/commit
add Completeness paper master
authorRalf Jung <post@ralfj.de>
Tue, 14 Jul 2026 10:48:57 +0000 (12:48 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 14 Jul 2026 10:48:57 +0000 (12:48 +0200)
commit441a4d8b6bec978f8053b5ac9faf57982fbb902b
tree276e5054e37d21479366e40f7dcc3f3274abb104
parent9fbe3ff304532d5adea51828c613468904c66f23
add Completeness paper
research/publications.html