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

{"_id":"66Xp5n8pWt7JDXa3n","bibbaseid":"aceto-fokkink-inglfsdttir-2nestedsimulationisnotfinitelyequationallyaxiomatizable-2001","downloads":0,"creationDate":"2016-02-18T15:10:12.492Z","title":"2-Nested Simulation Is Not Finitely Equationally Axiomatizable","author_short":["Aceto, L.","Fokkink, W.","Ingólfsdóttir, A."],"year":2001,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Wan"],"propositions":[],"lastnames":["Fokkink"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/stacs/AcetoFI01,\n author = {Luca Aceto and\n Wan Fokkink and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir},\n title = {2-Nested Simulation Is Not Finitely Equationally Axiomatizable},\n booktitle = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer\n Science, Dresden, Germany, February 15-17, 2001, Proceedings},\n pages = {39--50},\n year = {2001},\n crossref = {DBLP:conf/stacs/2001},\n url = {https://doi.org/10.1007/3-540-44693-1\\_4},\n doi = {10.1007/3-540-44693-1\\_4},\n timestamp = {Fri, 26 May 2017 14:09:14 +0200},\n biburl = {https://dblp.org/rec/bib/conf/stacs/AcetoFI01},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Fokkink, W.","Ingólfsdóttir, A."],"key":"DBLP:conf/stacs/AcetoFI01","id":"DBLP:conf/stacs/AcetoFI01","bibbaseid":"aceto-fokkink-inglfsdttir-2nestedsimulationisnotfinitelyequationallyaxiomatizable-2001","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-44693-1_4"},"downloads":0},"search_terms":["nested","simulation","finitely","equationally","axiomatizable","aceto","fokkink","ingólfsdóttir"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}