BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Japan
1 × Poland
1 × The Netherlands
Collaborated with:
∅ C.Riba L.Straßburger
Talks about:
proposit (2) complet (2) system (2) rewrit (2) linear (2) logic (2) infer (2) pigeonhol (1) principl (1) monoton (1)

Person: Anupam Das

DBLP DBLP: Das:Anupam

Contributed to:

LICS 20152015
RTA 20152015
CSL-LICS 20142014
RTA 20132013

Wrote 4 papers:

LICS-2015-DasR #axiom #infinity
A Complete Axiomatization of MSO on Infinite Trees (AD, CR), pp. 390–401.
RTA-2015-DasS #linear #logic #term rewriting
No complete linear term rewriting system for propositional logic (AD, LS), pp. 127–142.
LICS-CSL-2014-Das #on the
On the pigeonhole and related principles in deep inference and monotone systems (AD), p. 10.
RTA-2013-Das #linear #logic
Rewriting with Linear Inferences in Propositional Logic (AD), pp. 158–173.
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.