Induction of Recursive Program Schemes. Schmid, U. & Wysotzki, F. In Nedellec, C. & Rouveirol, C., editors, ECML, volume 1398, of Lecture Notes in Computer Science, pages 214-225, 1998. Springer. Link Paper bibtex @inproceedings{conf/ecml/SchmidW98,
added-at = {2017-05-21T00:00:00.000+0200},
author = {Schmid, Ute and Wysotzki, Fritz},
biburl = {https://www.bibsonomy.org/bibtex/2024f48d108508715ef8177747434f165/dblp},
booktitle = {ECML},
crossref = {conf/ecml/1998},
editor = {Nedellec, Claire and Rouveirol, Céline},
ee = {https://doi.org/10.1007/BFb0026692},
interhash = {649c95325cae795df9db969921f9d84b},
intrahash = {024f48d108508715ef8177747434f165},
isbn = {3-540-64417-2},
keywords = {dblp},
pages = {214-225},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T16:32:59.000+0200},
title = {Induction of Recursive Program Schemes.},
url = {http://dblp.uni-trier.de/db/conf/ecml/ecml98.html#SchmidW98},
volume = 1398,
year = 1998
}
Downloads: 0
{"_id":"3u8HXH2Be49Ypx8P4","bibbaseid":"schmid-wysotzki-inductionofrecursiveprogramschemes-1998","authorIDs":[],"author_short":["Schmid, U.","Wysotzki, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-21T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Schmid"],"firstnames":["Ute"],"suffixes":[]},{"propositions":[],"lastnames":["Wysotzki"],"firstnames":["Fritz"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2024f48d108508715ef8177747434f165/dblp","booktitle":"ECML","crossref":"conf/ecml/1998","editor":[{"propositions":[],"lastnames":["Nedellec"],"firstnames":["Claire"],"suffixes":[]},{"propositions":[],"lastnames":["Rouveirol"],"firstnames":["Céline"],"suffixes":[]}],"ee":"https://doi.org/10.1007/BFb0026692","interhash":"649c95325cae795df9db969921f9d84b","intrahash":"024f48d108508715ef8177747434f165","isbn":"3-540-64417-2","keywords":"dblp","pages":"214-225","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T16:32:59.000+0200","title":"Induction of Recursive Program Schemes.","url":"http://dblp.uni-trier.de/db/conf/ecml/ecml98.html#SchmidW98","volume":"1398","year":"1998","bibtex":"@inproceedings{conf/ecml/SchmidW98,\n added-at = {2017-05-21T00:00:00.000+0200},\n author = {Schmid, Ute and Wysotzki, Fritz},\n biburl = {https://www.bibsonomy.org/bibtex/2024f48d108508715ef8177747434f165/dblp},\n booktitle = {ECML},\n crossref = {conf/ecml/1998},\n editor = {Nedellec, Claire and Rouveirol, Céline},\n ee = {https://doi.org/10.1007/BFb0026692},\n interhash = {649c95325cae795df9db969921f9d84b},\n intrahash = {024f48d108508715ef8177747434f165},\n isbn = {3-540-64417-2},\n keywords = {dblp},\n pages = {214-225},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T16:32:59.000+0200},\n title = {Induction of Recursive Program Schemes.},\n url = {http://dblp.uni-trier.de/db/conf/ecml/ecml98.html#SchmidW98},\n volume = 1398,\n year = 1998\n}\n\n","author_short":["Schmid, U.","Wysotzki, F."],"editor_short":["Nedellec, C.","Rouveirol, C."],"key":"conf/ecml/SchmidW98","id":"conf/ecml/SchmidW98","bibbaseid":"schmid-wysotzki-inductionofrecursiveprogramschemes-1998","role":"author","urls":{"Link":"https://doi.org/10.1007/BFb0026692","Paper":"http://dblp.uni-trier.de/db/conf/ecml/ecml98.html#SchmidW98"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/fritz?items=1000","creationDate":"2019-07-04T22:53:30.311Z","downloads":0,"keywords":["dblp"],"search_terms":["induction","recursive","program","schemes","schmid","wysotzki"],"title":"Induction of Recursive Program Schemes.","year":1998,"dataSources":["P8qTtTCTHaCFodAoX"]}