Shankar, Natarajan.
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Shankar, N.
Shankar, N. (Natarajan)
Natarajan Shankar Indian computer scientist
VIAF ID: 69020687 (Personal)
Permalink: http://viaf.org/viaf/69020687
Preferred Forms
-
100 0 _
‡a
Natarajan Shankar
‡c
Indian computer scientist
-
200 _ |
‡a
Shankar
‡b
Natarajan
-
100 1 _ ‡a Shankar, N
-
100 1 _ ‡a Shankar, N.
-
100 1 _ ‡a Shankar, N.
-
100 1 _ ‡a Shankar, N.
-
100 1 _
‡a
Shankar, N.
-
100 1 _ ‡a Shankar, N. ‡q (Natarajan)
-
100 1 _ ‡a Shankar, N. ‡q (Natarajan)
-
100 1 _
‡a
Shankar, N.
‡q
(Natarajan)
-
100 1 _
‡a
Shankar, Natarajan
-
100 1 _
‡a
Shankar, Natarajan
-
100 1 _
‡a
Shankar, Natarajan
-
100 1 _ ‡a Shankar, Natarajan.
4xx's: Alternate Name Forms (8)
Works
| Title | Sources |
|---|---|
| Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings |
|
| Expressing predicate subtyping in computational logical frameworks |
|
| Extending higher-order logic with predicate subtyping : application to PVS |
|
| Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS. |
|
| The formal semantics of PVS, 1999: |
|
| Formalisation et developpement d'une tactique reflexive pour la demonstration automatique en coq. |
|
| Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq |
|
| Metamathematics, machines and Gödel's proof, 1994: |
|
| Théorie des types et procédures de décision |
|
| Vérification compositionnelle des systèmes temps-réel à base de composants et applications. |
|
| Verified software: theories, tools, experiments second international conference ; proceedings |
|
| VSTTE 2008 |
|
