The Weak Completion Semantics and Equality
From International Center for Computational Logic
The Weak Completion Semantics and Equality
Emmanuelle-Anna Dietz SaldanhaEmmanuelle-Anna Dietz Saldanha, Steffen HölldoblerSteffen Hölldobler, Sibylle SchwarzSibylle Schwarz, L.Yohanes StefanusL.Yohanes Stefanus
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz, L.Yohanes Stefanus
The Weak Completion Semantics and Equality
In Gilles Barthe and Geoff Sutcliffe and Margus Veanes, eds., 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 326-342, 2018. EasyChair
The Weak Completion Semantics and Equality
In Gilles Barthe and Geoff Sutcliffe and Margus Veanes, eds., 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 326-342, 2018. EasyChair
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{DBLP:conf/lpar/DietzHSS18,
author = {Emmanuelle{-}Anna Dietz and
Steffen H{\"{o}}lldobler and
Sibylle Schwarz and
L. Yohanes Stefanus},
title = {The Weak Completion Semantics and Equality},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
pages = {326--342},
year = {2018},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
publisher = {EasyChair},
year = {2018},
url = {http://www.easychair.org/publications/volume/LPAR-22},
}