ask others

Vivek Nigam

◀ ▶ joint publications with Leonardo Lima

> Home > Persons > Vivek Nigam
> Home > Persons > Leonardo Lima

Keys

# of publication records = 3

journals/corr/NigamRL15 conf/cade/NigamRL14 journals/tplp/NigamRL13

Publications

2015
[c21]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/NigamRL15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/NigamRL15
Vivek Nigam, Giselle Reis, Leonardo Lima:
Towards the Automated Generation of Focused Proof Systems. WoF'15 2015: 1-6
2014
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/NigamRL14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/NigamRL14
Vivek Nigam, Giselle Reis, Leonardo Lima:
Quati: An Automated Tool for Proving Permutation Lemmas. IJCAR 2014: 255-261
2013
[j9]
- view
  - electronic edition @ cambridge.org
- export record
  dblp key:
  - journals/tplp/NigamRL13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/tplp/NigamRL13
Vivek Nigam, Giselle Reis, Leonardo Lima:
Checking Proof Transformations with ASP. TPLP 13(4-5-Online-Supplement) (2013)

maintained by

at