Pages that link to "Biography:Amir Pnueli"

What links here

Page:  Namespace:  all (Main) Discussion User User discussion HandWiki HandWiki discussion File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Item Item talk Property Property talk Module Module talk Gadget Gadget talk Gadget definition Gadget definition talk DMelt DMelt discussion Private Private discussion Access Access discussion Tutorial Tutorial discussion Admin Admin discussion DScience DScience discussion Book Book discussion Manual Manual discussion Monograph Monograph discussion Philosophy Philosophy discussion Physics Physics discussion Chemistry Chemistry discussion Astronomy Astronomy discussion Biology Biology discussion Earth Earth discussion Social Social discussion Finance Finance discussion Engineering Engineering discussion Linux Linux discussion Unsolved Unsolved discussion Biography Biography discussion Company Company discussion Organization Organization discussion Software Software discussion Medicine Medicine discussion Religion Religion discussion Place Place discussion History History discussion Draft Draft discussion  Invert selection

Filters

Hide transclusions | Hide links | Show redirects

The following pages link to Biography:Amir Pnueli:

Displayed 50 items.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

• Linear temporal logic to Büchi automaton ‎ (← links)
• Generalized Büchi automaton ‎ (← links)
• Temporal logic in finite-state verification ‎ (← links)
• Dynamic logic (modal logic) ‎ (← links)
• Summer School Marktoberdorf ‎ (← links)
• Modal logic ‎ (← links)
• McCarthy 91 function ‎ (← links)
• TLA+ ‎ (← links)
• CTL* ‎ (← links)
• Model checking ‎ (← links)
• Template:Turing Award laureates ‎ (← links)
• Philosophy:Temporal logic ‎ (← links)
• Biography:Nissim Francez ‎ (← links)
• Biography:Kristen Nygaard ‎ (← links)
• Biography:List of programming language researchers ‎ (← links)
• Biography:Robin Milner ‎ (← links)
• Biography:Dana Scott ‎ (← links)
• Biography:Raj Reddy ‎ (← links)
• Biography:John Backus ‎ (← links)
• Biography:Barbara Liskov ‎ (← links)
• Biography:Frances E. Allen ‎ (← links)
• Biography:Geoffrey Hinton ‎ (← links)
• Biography:Herbert A. Simon ‎ (← links)
• Biography:Edsger W. Dijkstra ‎ (← links)
• Biography:Edward Feigenbaum ‎ (← links)
• Biography:Tony Hoare ‎ (← links)
• Biography:Marvin Minsky ‎ (← links)
• Biography:Niklaus Wirth ‎ (← links)
• Biography:Yann LeCun ‎ (← links)
• Biography:Judea Pearl ‎ (← links)
• Biography:Yoshua Bengio ‎ (← links)
• Biography:John McCarthy (computer scientist) ‎ (← links)
• Biography:Richard Hamming ‎ (← links)
• Biography:Butler Lampson ‎ (← links)
• Biography:Maurice Wilkes ‎ (← links)
• Biography:Charles P. Thacker ‎ (← links)
• Biography:Edgar F. Codd ‎ (← links)
• Biography:John Cocke ‎ (← links)
• Biography:Juris Hartmanis ‎ (← links)
• Biography:Alfred Aho ‎ (← links)
• Biography:Shmuel Safra ‎ (← links)
• Biography:Robert Tarjan ‎ (← links)
• Biography:Silvio Micali ‎ (← links)
• Biography:Manuel Blum ‎ (← links)
• Biography:Stephen Cook ‎ (← links)
• Biography:Leslie Valiant ‎ (← links)
• Biography:Shafi Goldwasser ‎ (← links)
• Biography:Michael O. Rabin ‎ (← links)
• Biography:Richard M. Karp ‎ (← links)
• Biography:List of computer scientists ‎ (← links)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)