The Weak Completion Semantics and Equality

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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
The Weak Completion Semantics and Equality


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