Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Taxonomic Search: Peter Vincent Homeier
2 results
Results
file
A Proof of the Church-Rosser Theorem for the Lambda Calculus in Higher Order Logic
Submitted by
adyson
on Wed, 02/15/2012 - 4:31pm. Contributor:
Peter Vincent Homeier
242.15 KB
0 views
88 downloads
Download
Conference paper
NSA
Peter Homeier
HCSS '01
file
Program Verification and the Church-Rosser Theorem
Submitted by
adyson
on Tue, 02/14/2012 - 1:36pm. Contributor:
Peter Vincent Homeier
213.14 KB
0 views
66 downloads
Download
Presentation
NSA
Peter Homeier
HCSS '01
Current search
[×]
Contributor(s)
: Peter Vincent Homeier
Guided search
Click a term to refine your current search.
Group
2013 High Confidence Software and Systems Conference
(2)
Content type
File
(2)
Document Type
Presentation
(1)
Publications
(1)
Contributor(s)
:
all
» Peter Vincent Homeier
Document Source
U.S. Government
(2)
Author
adyson
(2)
Date authored
2012
(2)
Keyword search
Search within results
More options
