Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
alternating Turing machines
Publications
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
Mnacho Echenim
,
Radu Iosif
and
Nicolas Peltier
EasyChair Preprint 4877
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
Mnacho Echenim
,
Radu Iosif
and
Nicolas Peltier
In
:
LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Alternating Turing machines and the analytical hierarchy
Daniel Leivant
In
:
Turing-100. The Alan Turing Centenary
Copyright © 2012-2024 easychair.org. All rights reserved.