Solving for functions. Beeson, M. In LMCS 2002. Logic, Mathematics and Computer Science: Interactions. Symposium in Honor of Bruno Buchberger's 60th Birthday, Linz, Austria, 2002. RISC.
![Solving for functions [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{beeson2002b,
address = {Linz, Austria},
author = {Michael Beeson},
booktitle = {LMCS 2002. Logic, Mathematics and Computer Science: Interactions. Symposium in Honor of Bruno Buchberger's 60th Birthday},
date-added = {2014-11-17 16:42:13 +0000},
date-modified = {2014-11-17 18:05:05 +0000},
editor = {Koji Nakagawa},
keywords = {Otter, Unification, Automated deduction},
number = {RISC Technical Report 02-60},
publisher = {RISC},
title = {Solving for functions},
url_pdf = {http://www.michaelbeeson.com/research/papers/SolvingForFunctions.pdf},
year = {2002}}Downloads: 0
{"_id":"MKefA7f5RHbphqKkD","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-solvingforfunctions-2002","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Linz, Austria","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"LMCS 2002. Logic, Mathematics and Computer Science: Interactions. Symposium in Honor of Bruno Buchberger's 60th Birthday","date-added":"2014-11-17 16:42:13 +0000","date-modified":"2014-11-17 18:05:05 +0000","editor":[{"firstnames":["Koji"],"propositions":[],"lastnames":["Nakagawa"],"suffixes":[]}],"keywords":"Otter, Unification, Automated deduction","number":"RISC Technical Report 02-60","publisher":"RISC","title":"Solving for functions","url_pdf":"http://www.michaelbeeson.com/research/papers/SolvingForFunctions.pdf","year":"2002","bibtex":"@inproceedings{beeson2002b,\n\taddress = {Linz, Austria},\n\tauthor = {Michael Beeson},\n\tbooktitle = {LMCS 2002. Logic, Mathematics and Computer Science: Interactions. Symposium in Honor of Bruno Buchberger's 60th Birthday},\n\tdate-added = {2014-11-17 16:42:13 +0000},\n\tdate-modified = {2014-11-17 18:05:05 +0000},\n\teditor = {Koji Nakagawa},\n\tkeywords = {Otter, Unification, Automated deduction},\n\tnumber = {RISC Technical Report 02-60},\n\tpublisher = {RISC},\n\ttitle = {Solving for functions},\n\turl_pdf = {http://www.michaelbeeson.com/research/papers/SolvingForFunctions.pdf},\n\tyear = {2002}}\n\n","author_short":["Beeson, M."],"editor_short":["Nakagawa, K."],"key":"beeson2002b","id":"beeson2002b","bibbaseid":"beeson-solvingforfunctions-2002","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/SolvingForFunctions.pdf"},"keyword":["Otter","Unification","Automated deduction"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-17T17:48:00.487Z","downloads":1,"keywords":["otter","unification","automated deduction"],"search_terms":["solving","functions","beeson"],"title":"Solving for functions","year":2002,"dataSources":["v9esbf6gQ8h64d3NA"]}