Back to Results
First PageMeta Content
Model theory / Formal systems / Proof theory / Interpretation / Philosophy of mind / Theory / First-order logic / Axiom / Structure / Logic / Mathematical logic / Metalogic


CSL Technical Report SRI-CSL-01-01 • April[removed]Theory Interpretations in PVS Sam Owre and N. Shankar Funded by NASA Langley Research Center contract numbers NAS1[removed]and
Add to Reading List

Document Date: 2006-11-30 07:15:58

Open Document

File Size: 116,08 KB

Share Result on Facebook

Company

Computer Science Laboratory / /

IndustryTerm

clock synchronization algorithm / /

Organization

NASA Langley Research Center / /

Person

N. Shankar Funded / /

/

ProgrammingLanguage

Extended ML / Standard ML / /

Technology

clock synchronization algorithm / /

SocialTag