Concepedia
Statistics
Publications
6
Citations
112
H-Index
Active since
2013
Affiliations
École Normale Supérieure de Lyon(Current)
Université Claude Bernard Lyon 1
University of Copenhagen
Centre National de la Recherche Scientifique
Anupam Das is an author at École Normale Supérieure de Lyon specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringFormal MethodsAutomated ReasoningComputer ScienceBig DataLanguageSemanticsManagementLinguisticsData Science
Publications per year
2013–2020
Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices)
Anupam Das, Damien Pous · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 27 citations · Full text
Algebraic Logic, Engineering, Automated Reasoning +11
On Nested Sequents for Constructive Modal Logics
Lutz Straßburger, Anupam Das, Ryuta Arisaka · Logical Methods in Computer Science · 2015 · 25 citations · Full text
Non-classical Logic, Engineering, Constructive Modal Logics +14
On the logical complexity of cyclic arithmetic
Anupam Das · University of Birmingham Research Portal (University of Birmingham) · 2020 · 21 citations · Full text
Issues and Concepts of Graph Database and a Comparative Analysis on list of Graph Database tools
Anupam Das, Anirban Mitra, Surendra Nath Bhagat et al. · 2020 · 18 citations
Engineering, Network Analysis, Graph Database +16
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
Anupam Das, Amina Doumane, Damien Pous · EPiC series in computing · 2018 · 11 citations · Full text
Algebraic Logic, Abstract Algebra, Engineering +10
1–5 of 6