27 citations · 49 across the 15 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016★ 3 cited
On linear rewriting systems for Boolean logic and some applications to proof theory
Anupam Das, Lutz Straßburger
Linear rules have played an increasing role in structural proof theory in recent years. It has been observed that the set of all sound linear inference rules in Boolean logic is al…
math.FA2016
Some new Fibonacci difference spaces of non-absolute type and compact operators
Anupam Das, Bipan Hazarika
The aim of the paper is to introduced the spaces and which are the BK-spaces of non-absolute type and also derive some inclusion relations. Furthe…
math.FA2016★ 3 cited
Some properties of Generalized Fibonacci difference bounded and -absolutely convergent sequences
Anupam Das, Bipan Hazarika
The main objective of this paper is to introduced a new sequence space by using the band matrix We also establish a fe…