Skip to content

Modelling Infinite Structures with Atoms.

Mikolaj Bojanczyk

VenueCWoLLIC
Year2013
ProceedingsWoLLIC

Browse the full WoLLIC paper archive.