Login / Signup
Marvin Jansen
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Logic Programs
Logic Based Argumentation
Np Complete
Textual Entailment
Top Venues
CoRR
ESOP
</>
Publications
</>
Kevin Batz
,
Ira Fesefeldt
,
Marvin Jansen
,
Joost-Pieter Katoen
,
Florian Keßler
,
Christoph Matheja
,
Thomas Noll
Foundations for Entailment Checking in Quantitative Separation Logic.
ESOP
(2022)
Kevin Batz
,
Ira Fesefeldt
,
Marvin Jansen
,
Joost-Pieter Katoen
,
Florian Keßler
,
Christoph Matheja
,
Thomas Noll
Foundations for Entailment Checking in Quantitative Separation Logic (extended version).
CoRR
(2022)