A Bootstrapped Compiler for Strategies (Extended Abstract) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Eelco Visser. A Bootstrapped Compiler for Strategies (Extended Abstract). In Strategies in Automated Deduction (STRATEGIES'99). pages 73-83, Trento, Italy, July 5 1999.

@inproceedings{Visser99-bootstrap,
  title = {A Bootstrapped Compiler for Strategies (Extended Abstract)},
  author = {Eelco Visser},
  year = {1999},
  month = {July 5},
  researchr = {https://researchr.org/publication/Visser99-bootstrap},
  cites = {0},
  citedby = {0},
  pages = {73-83},
  booktitle = {Strategies in Automated Deduction (STRATEGIES'99)},
  address = {Trento, Italy},
}

runs on WebDSL