Computer Programming as Mathematics in a Programming Language and Proof System CL.

Jn Komara, Paul J. Voda

Browse the full TABLEAUX paper archive.