Login / Signup
Lara Stoltenow
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Databases
Sufficient Conditions
Information Retrieval
Terminological Reasoning
Top Venues
CoRR
CONCUR
</>
Publications
</>
Lara Stoltenow
,
Barbara König
,
Sven Schneider
,
Andrea Corradini
,
Leen Lambers
,
Fernando Orejas
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.
CoRR
(2024)
Lara Stoltenow
,
Barbara König
,
Sven Schneider
,
Andrea Corradini
,
Leen Lambers
,
Fernando Orejas
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.
CONCUR
(2024)