2-Nested Simulation Is Not Finitely Equationally Axiomatizable. Aceto, L., Fokkink, W., & Ingólfsdóttir, A. In STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings, pages 39–50, 2001.
2-Nested Simulation Is Not Finitely Equationally Axiomatizable [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/stacs/AcetoFI01,
  author    = {Luca Aceto and
               Wan Fokkink and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {2-Nested Simulation Is Not Finitely Equationally Axiomatizable},
  booktitle = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer
               Science, Dresden, Germany, February 15-17, 2001, Proceedings},
  pages     = {39--50},
  year      = {2001},
  crossref  = {DBLP:conf/stacs/2001},
  url       = {https://doi.org/10.1007/3-540-44693-1\_4},
  doi       = {10.1007/3-540-44693-1\_4},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/AcetoFI01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0