Search dblp for Publications

export results for "toc:db/conf/aaip/aaip2009.bht:"

 download as .bib file

@proceedings{DBLP:conf/aaip/2009,
  editor       = {Ute Schmid and
                  Emanuel Kitzelmann and
                  Rinus Plasmeijer},
  title        = {Approaches and Applications of Inductive Programming, Third International
                  Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5812},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11931-6},
  doi          = {10.1007/978-3-642-11931-6},
  isbn         = {978-3-642-11930-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaip/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/EstruchFHR09,
  author       = {Vicent Estruch and
                  C{\'{e}}sar Ferri and
                  Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
                  M. Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
  editor       = {Ute Schmid and
                  Emanuel Kitzelmann and
                  Rinus Plasmeijer},
  title        = {Generalisation Operators for Lists Embedded in a Metric Space},
  booktitle    = {Approaches and Applications of Inductive Programming, Third International
                  Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5812},
  pages        = {117--139},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11931-6\_6},
  doi          = {10.1007/978-3-642-11931-6\_6},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaip/EstruchFHR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/Henderson09,
  author       = {Robert Henderson},
  editor       = {Ute Schmid and
                  Emanuel Kitzelmann and
                  Rinus Plasmeijer},
  title        = {Incremental Learning in Inductive Programming},
  booktitle    = {Approaches and Applications of Inductive Programming, Third International
                  Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5812},
  pages        = {74--92},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11931-6\_4},
  doi          = {10.1007/978-3-642-11931-6\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaip/Henderson09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/HieberH09,
  author       = {Thomas Hieber and
                  Martin Hofmann},
  editor       = {Ute Schmid and
                  Emanuel Kitzelmann and
                  Rinus Plasmeijer},
  title        = {Automated Method Induction: Functional Goes Object Oriented},
  booktitle    = {Approaches and Applications of Inductive Programming, Third International
                  Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5812},
  pages        = {159--173},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11931-6\_8},
  doi          = {10.1007/978-3-642-11931-6\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaip/HieberH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/HofmannKS09,
  author       = {Martin Hofmann and
                  Emanuel Kitzelmann and
                  Ute Schmid},
  editor       = {Ute Schmid and
                  Emanuel Kitzelmann and
                  Rinus Plasmeijer},
  title        = {Porting IgorII from Maude to Haskell},
  booktitle    = {Approaches and Applications of Inductive Programming, Third International
                  Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5812},
  pages        = {140--158},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11931-6\_7},
  doi          = {10.1007/978-3-642-11931-6\_7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaip/HofmannKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/Katayama09,
  author       = {Susumu Katayama},
  editor       = {Ute Schmid and
                  Emanuel Kitzelmann and
                  Rinus Plasmeijer},
  title        = {Recent Improvements of MagicHaskeller},
  booktitle    = {Approaches and Applications of Inductive Programming, Third International
                  Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5812},
  pages        = {174--193},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11931-6\_9},
  doi          = {10.1007/978-3-642-11931-6\_9},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaip/Katayama09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/Kitzelmann09,
  author       = {Emanuel Kitzelmann},
  editor       = {Ute Schmid and
                  Emanuel Kitzelmann and
                  Rinus Plasmeijer},
  title        = {Inductive Programming: {A} Survey of Program Synthesis Techniques},
  booktitle    = {Approaches and Applications of Inductive Programming, Third International
                  Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5812},
  pages        = {50--73},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11931-6\_3},
  doi          = {10.1007/978-3-642-11931-6\_3},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaip/Kitzelmann09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/KoopmanP09,
  author       = {Pieter W. M. Koopman and
                  Rinus Plasmeijer},
  editor       = {Ute Schmid and
                  Emanuel Kitzelmann and
                  Rinus Plasmeijer},
  title        = {Synthesis of Functions Using Generic Programming},
  booktitle    = {Approaches and Applications of Inductive Programming, Third International
                  Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5812},
  pages        = {25--49},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11931-6\_2},
  doi          = {10.1007/978-3-642-11931-6\_2},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaip/KoopmanP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/Mitchell09,
  author       = {Neil Mitchell},
  editor       = {Ute Schmid and
                  Emanuel Kitzelmann and
                  Rinus Plasmeijer},
  title        = {Deriving a Relationship from a Single Example},
  booktitle    = {Approaches and Applications of Inductive Programming, Third International
                  Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5812},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11931-6\_1},
  doi          = {10.1007/978-3-642-11931-6\_1},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaip/Mitchell09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaip/YakushevJ09,
  author       = {Alexey Rodriguez Yakushev and
                  Johan Jeuring},
  editor       = {Ute Schmid and
                  Emanuel Kitzelmann and
                  Rinus Plasmeijer},
  title        = {Enumerating Well-Typed Terms Generically},
  booktitle    = {Approaches and Applications of Inductive Programming, Third International
                  Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5812},
  pages        = {93--116},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11931-6\_5},
  doi          = {10.1007/978-3-642-11931-6\_5},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaip/YakushevJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.