Sciweavers

IJUFKS
2000

On Proofs in System P

13 years 11 months ago
On Proofs in System P
Simon Parsons, Rachel A. Bourne
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Where IJUFKS
Authors Simon Parsons, Rachel A. Bourne
Comments (0)