The following pages link to Kumar Neeraj Verma (Q2373698):
Displaying 13 items.
- Alternating two-way AC-tree automata (Q2373699) (← links)
- Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically (Q2484410) (← links)
- (Q2766536) (← links)
- Normalization of Linear Horn Clauses (Q2999324) (← links)
- (Q3408138) (← links)
- Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses (Q3593070) (← links)
- Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case (Q3636822) (← links)
- (Q4447233) (← links)
- Flat and one-variable clauses (Q5277817) (← links)
- (Q5387658) (← links)
- Automated Deduction – CADE-20 (Q5394623) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465883) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705952) (← links)
