A Bootstrapped Compiler for Strategies (Extended Abstract)

E. Visser

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Strategies in Automated Deduction (STRATEGIES'99)
Editors	B. Gramlich, H. Kirchner, F. Pfenning
Place of Publication	Trento, Italy
Publisher	TU Wien
Pages	73-83
Number of pages	10
Publication status	Published - 1999

Keywords

@inproceedings{8c66464a8d084115b75a962cb57f9abb,

title = "A Bootstrapped Compiler for Strategies (Extended Abstract)",

keywords = "Wiskunde en Informatica (WIIN)",

author = "E. Visser",

year = "1999",

language = "Undefined/Unknown",

pages = "73--83",

editor = "B. Gramlich and H. Kirchner and F. Pfenning",

booktitle = "Strategies in Automated Deduction (STRATEGIES'99)",

publisher = "TU Wien",

}