Vol-3834⫷ Vol-3835 ⫸Vol-3836
urn:nbn:de:0074-3835-0


Vol-3835/paper3⫷Vol-3835/paper4⫸Vol-3835/paper5

Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm