Back to Results
First PageMeta Content
Logic in computer science / Model theory / Non-classical logic / Philosophical logic / Modal logic / Dynamic logic / Temporal logic / Assertion / Axiom / Logic / Mathematical logic / Mathematics


l!soMEr~ME!l IS so&fETIMEs
Add to Reading List

Document Date: 2000-07-12 18:31:52

Open Document

File Size: 1,21 MB

Share Result on Facebook

Company

Suzuki / Since / /

Currency

pence / USD / /

Event

Product Recall / Product Issues / /

IndustryTerm

nondeterministic algorithms / assertion oPerator / temporal logic systems / /

Organization

V PP / Association for Comput~ng Machinery / DP V / /

Person

Pnueli / /

Position

model / General / /

Product

Owicki system / definition element of S. / assertion mapping *M / Owicki / /

ProgrammingLanguage

ML / A# / /

Technology

system DL+ algorithms / use algorithms / CVD / /

SocialTag