PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Shankar, Natarajan"

Author of the publication

copydeleteadd this publication to your clipboard
Decision Problems for Propositional Linear Logic.

, , , and . Ann. Pure Appl. Logic, 56 (1-3): 239-311 (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Shankar, Natarajan
add a person with the name Shankar, Natarajan
 

Other publications of authors with the same name

ModelRob: A Simulink Library for Model-Based Development of robot manipulators., and . ICRA, page 2654-2659. IEEE, (2012)Decision Problems for Propositional Linear Logic, , , and . FOCS, page 662-671. IEEE Computer Society, (1990)0-8186-2082-X.Proof Search (Tutorial)., and . ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, (1994)Verifying a self-stabilizing mutual exclusion algorithm., and . PROCOMET, volume 125 of IFIP Conference Proceedings, page 424-443. Chapman & Hall, (1998)The verified software initiative: A manifesto., , , and . ACM Comput. Surv., 41 (4): 22:1-22:8 (2009)EFSMT: A Logical Framework for Cyber-Physical Systems., , , and . CoRR, (2013)Unraveling a Card Trick., and . Essays in Memory of Amir Pnueli, volume 6200 of Lecture Notes in Computer Science, page 195-201. Springer, (2010)Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned., , , and . FME, volume 670 of Lecture Notes in Computer Science, page 482-500. Springer, (1993)Experiments in Theorem Proving and Model Checking for Protocol Verification., and . FME, volume 1051 of Lecture Notes in Computer Science, page 662-681. Springer, (1996)Linearizing Intuitionistic Implication, , and . LICS, page 51-62. IEEE Computer Society, (1991)