Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/lics/FiorePP97
AU - Fiore, Marcelo P.
AU - Plotkin, Gordon D.
AU - Power, A. John
TI - Complete Cuboidal Sets in Axiomatic Domain Theory.
BT - Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997
SP - 268
EP - 278
PY - 1997//
DO - 10.1109/LICS.1997.614954
UR - https://doi.org/10.1109/LICS.1997.614954
UR - https://doi.ieeecomputersociety.org/10.1109/LICS.1997.614954
ER -
