Skip to content

An Algebraic Account of Modularity in ID-Logic.

Joost Vennekens, Marc Denecker

VenueBLPNMR
Year2005
ProceedingsLPNMR

Browse the full LPNMR paper archive.