BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Verma:Kumar_Neeraj

Contributed to:

RTA 20092009
CADE 20052005
RTA 20032003

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.