"True Relative Completeness of an Axiom System for the Language L4 (Abridged)"

Steven M. German, Edmund M. Clarke, Joseph Y. Halpern (1986)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2015-01-22