"Operations on Proofs that can be Specified by Means of Modal Logic."

Sergei N. Artëmov (1998)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2006-03-10