Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"

TY  - JOUR
ID  - DBLP:journals/mlq/Montagna84
AU  - Montagna, Franco
TI  - A Completeness Result for Fixed-Point Algebras.
JO  - Math. Log. Q.
VL  - 30
IS  - 32-34
SP  - 525
EP  - 532
PY  - 1984//
DO  - 10.1002/MALQ.19840303205
UR  - https://doi.org/10.1002/malq.19840303205
ER  -

  <script>parent.window.postMessage('ixistenz.url:https://dblp.org/rec/journals/mlq/Montagna84.ris', '*'); </script> <div id='browserdiffcontainer' style='position: fixed; right: 10px; top: 10vh; min-width: 60px;  border: 1px solid white; background: rgb(251, 189, 0);; opacity: 0.9; font-family: helvetica, arial, sans serif;  font-size: 12px; z-index: 20001; padding-bottom: 20px;'><div onclick="toggle('browserdiffcontainerlist'); return false;" style='background: rgb(151, 89, 0);; color: white; '><strong>&nbsp; <span class='glyphicon glyphicon-minus'></span> NODES</strong></div><div id='browserdiffcontainerlist' style='padding-left: 10px; padding-right: 5px; max-height: 50vh; overflow: auto; '></div></div>
<script>
function toggle( divname ) {
  var x = document.getElementById( divname );
  if (x.style.display === 'none') {
    x.style.display = 'block';
  } else {
    x.style.display = 'none';
  }
} </script>