Travelled to:
1 × Brazil
1 × Estonia
1 × Spain
Collaborated with:
H.Seidl ∅ T.Schwentick
Talks about:
equat (2) claus (2) protocol (1) properti (1) automata (1) variabl (1) complex (1) theori (1) closur (1) singl (1)
Person: Kumar Neeraj Verma
DBLP: Verma:Kumar_Neeraj
Contributed to:
Wrote 3 papers:
- RTA-2009-SeidlV #protocol
- Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case (HS, KNV), pp. 118–132.
- CADE-2005-VermaSS #complexity #equation #horn clause #on the
- On the Complexity of Equational Horn Clauses (KNV, HS, TS), pp. 337–352.
- RTA-2003-Verma #automaton #decidability #equation
- Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties (KNV), pp. 180–196.