Search results for: Viggo Stoltenberg-Hansen
Lecture Notes in Computer Science > Prospects for Hardware Foundations > I Mathematical Foundations > 27-68
Synthese Library
Mathematical Logic Quarterly > 57 > 2 > 217 - 231
Electronic Notes in Theoretical Computer Science > 2008 > 221 > Complete > 3-15
Theoretical Computer Science > 1999 > 219 > 1-2 > 347-378
Theoretical Computer Science > 1997 > 179 > 1-2 > 319-331