Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.

Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel

Browse the full SOFSEM paper archive.