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

Details
Bibtex

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},
}