Charles H. Applebaum

According to our database¹, Charles H. Applebaum authored at least 4 papers between 1971 and 1985.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1985

The Practical Verification System Project.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1985

1984

PVS - design for a practical verification system.

[BibT_eX]

[DOI]

Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, 1984

1973

A stronger definition of a recursively infinite set.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1973

1971

Isomorphisms of ω-groups.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1971