Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Emanuel Kitzelmann
@article{DBLP:journals/cacm/GulwaniHKMSZ15,
author = {Sumit Gulwani and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Emanuel Kitzelmann and
Stephen H. Muggleton and
Ute Schmid and
Benjamin G. Zorn},
title = {Inductive programming meets the real world},
journal = {Commun. {ACM}},
volume = {58},
number = {11},
pages = {90--99},
year = {2015},
url = {https://doi.org/10.1145/2736282},
doi = {10.1145/2736282},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/GulwaniHKMSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HofmannKS14,
author = {Jacqueline Hofmann and
Emanuel Kitzelmann and
Ute Schmid},
editor = {Carsten Lutz and
Michael Thielscher},
title = {Applying Inductive Program Synthesis to Induction of Number Series
{A} Case Study with {IGOR2}},
booktitle = {{KI} 2014: Advances in Artificial Intelligence - 37th Annual German
Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8736},
pages = {25--36},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11206-0\_3},
doi = {10.1007/978-3-319-11206-0\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/HofmannKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GulwaniKS13,
author = {Sumit Gulwani and
Emanuel Kitzelmann and
Ute Schmid},
title = {Approaches and Applications of Inductive Programming (Dagstuhl Seminar
13502)},
journal = {Dagstuhl Reports},
volume = {3},
number = {12},
pages = {43--66},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.12.43},
doi = {10.4230/DAGREP.3.12.43},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GulwaniKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsr/SchmidK11,
author = {Ute Schmid and
Emanuel Kitzelmann},
title = {Inductive rule learning on the knowledge level},
journal = {Cogn. Syst. Res.},
volume = {12},
number = {3-4},
pages = {237--248},
year = {2011},
url = {https://doi.org/10.1016/j.cogsys.2010.12.002},
doi = {10.1016/J.COGSYS.2010.12.002},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cogsr/SchmidK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Kitzelmann11,
author = {Emanuel Kitzelmann},
title = {A Combined Analytical and Search-Based Approach for the Inductive
Synthesis of Functional Programs},
journal = {K{\"{u}}nstliche Intell.},
volume = {25},
number = {2},
pages = {179--182},
year = {2011},
url = {https://doi.org/10.1007/s13218-010-0071-x},
doi = {10.1007/S13218-010-0071-X},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Kitzelmann11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Kitzelmann11,
author = {Emanuel Kitzelmann},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Two New Operators for {IGOR2} to Increase Synthesis Efficiency},
booktitle = {Proceedings of {AAIP} 2011 - 4th International Workshop on Approaches
and Applications of Inductive Programming, Odense, Denmark, July 19,
2011},
pages = {33--48},
year = {2011},
url = {https://cogsys.uni-bamberg.de/events/aaip11/accepted/kitzelmann.pdf},
timestamp = {Wed, 09 Nov 2022 17:31:54 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Kitzelmann11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agi/RaabWKS11,
author = {Marius Raab and
Mark Wernsdorfer and
Emanuel Kitzelmann and
Ute Schmid},
editor = {J{\"{u}}rgen Schmidhuber and
Kristinn R. Th{\'{o}}risson and
Moshe Looks},
title = {From Sensorimotor Graphs to Rules: An Agent Learns from a Stream of
Experience},
booktitle = {Artificial General Intelligence - 4th International Conference, {AGI}
2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6830},
pages = {333--339},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22887-2\_39},
doi = {10.1007/978-3-642-22887-2\_39},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agi/RaabWKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaip/2011,
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Proceedings of {AAIP} 2011 - 4th International Workshop on Approaches
and Applications of Inductive Programming, Odense, Denmark, July 19,
2011},
year = {2011},
url = {https://cogsys.uni-bamberg.de/events/aaip11/AAIP2011.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0027447,
author = {Emanuel Kitzelmann},
title = {A Combined Analytical and Search-Based Approach to the Inductive Synthesis
of Functional Programs},
school = {University of Bamberg},
year = {2010},
url = {http://www.opus-bayern.de/uni-bamberg/volltexte/2010/280/},
urn = {urn:nbn:de:bvb:473-opus-2801},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0027447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HofmannK10,
author = {Martin Hofmann and
Emanuel Kitzelmann},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {{I/O} guided detection of list catamorphisms: towards problem specific
use of program templates in {IP}},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {93--100},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706375},
doi = {10.1145/1706356.1706375},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/HofmannK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Kitzelmann10,
author = {Emanuel Kitzelmann},
editor = {Abraham Bernstein and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven
Synthese funktionaler Programme},
booktitle = {Ausgezeichnete Informatikdissertationen 2010},
series = {{LNI}},
volume = {{D-11}},
pages = {141--150},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/33760},
timestamp = {Tue, 04 Jul 2023 17:43:58 +0200},
biburl = {https://dblp.org/rec/conf/gi/Kitzelmann10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@article{DBLP:journals/ki/SchmidHK09,
author = {Ute Schmid and
Martin Hofmann and
Emanuel Kitzelmann},
title = {Inductive Programming},
journal = {K{\"{u}}nstliche Intell.},
volume = {23},
number = {2},
pages = {38--41},
year = {2009},
url = {http://www.kuenstliche-intelligenz.de/fileadmin/template/main/archiv/pdf/ki2009-02\_page38\_web\_teaser.pdf},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/SchmidHK09.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 = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/aaip/Kitzelmann09.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/ijcci/CrossleyKHS09,
author = {Neil Crossley and
Emanuel Kitzelmann and
Martin Hofmann and
Ute Schmid},
editor = {Ant{\'{o}}nio Dourado Correia and
Agostinho C. Rosa and
Kurosh Madani},
title = {Evolutionary Programming Guided by Analytically Generated Seeds},
booktitle = {{IJCCI} 2009 - Proceedings of the International Joint Conference on
Computational Intelligence, Funchal, Madeira, Portugal, October 5-7,
2009},
pages = {198--203},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Fri, 04 May 2012 07:40:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcci/CrossleyKHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Kitzelmann08,
author = {Emanuel Kitzelmann},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Data-driven Induction of Functional Programs},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {781--782},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-781},
doi = {10.3233/978-1-58603-891-5-781},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Kitzelmann08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HofmannKS08,
author = {Martin Hofmann and
Emanuel Kitzelmann and
Ute Schmid},
editor = {Andreas Dengel and
Karsten Berns and
Thomas M. Breuel and
Frank Bomarius and
Thomas Roth{-}Berghofer},
title = {Analysis and Evaluation of Inductive Programming Systems in a Higher-Order
Framework},
booktitle = {{KI} 2008: Advances in Artificial Intelligence, 31st Annual German
Conference on AI, {KI} 2008, Kaiserslautern, Germany, September 23-26,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5243},
pages = {78--86},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85845-4\_10},
doi = {10.1007/978-3-540-85845-4\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/HofmannKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Kitzelmann08,
author = {Emanuel Kitzelmann},
editor = {Michael Hanus},
title = {Analytical Inductive Functional Programming},
booktitle = {Logic-Based Program Synthesis and Transformation, 18th International
Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5438},
pages = {87--102},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00515-2\_7},
doi = {10.1007/978-3-642-00515-2\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Kitzelmann08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/Kitzelmann07,
author = {Emanuel Kitzelmann},
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Data-Driven Induction of Recursive Functions from Input/Output-Examples},
booktitle = {Proceedings of the Workshop on Approaches and Applications of Inductive
Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
pages = {15--26},
year = {2007},
url = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf\#page=23},
timestamp = {Wed, 09 Nov 2022 17:23:36 +0100},
biburl = {https://dblp.org/rec/conf/aaip/Kitzelmann07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HofmannHKS07,
author = {Martin Hofmann and
Andreas Hirschberger and
Emanuel Kitzelmann and
Ute Schmid},
editor = {Joachim Hertzberg and
Michael Beetz and
Roman Englert},
title = {Inductive Synthesis of Recursive Functional Programs},
booktitle = {{KI} 2007: Advances in Artificial Intelligence, 30th Annual German
Conference on AI, {KI} 2007, Osnabr{\"{u}}ck, Germany, September
10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4667},
pages = {468--472},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74565-5\_42},
doi = {10.1007/978-3-540-74565-5\_42},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/HofmannHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaip/2007,
editor = {Emanuel Kitzelmann and
Ute Schmid},
title = {Proceedings of the Workshop on Approaches and Applications of Inductive
Programming, AAIP'07, September 17, 2007, Warsaw, Poland},
year = {2007},
url = {https://cogsys.uni-bamberg.de/events/aaip07/aaip\_print.pdf},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaip/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmlr/KitzelmannS06,
author = {Emanuel Kitzelmann and
Ute Schmid},
title = {Inductive Synthesis of Functional Programs: An Explanation Based Generalization
Approach},
journal = {J. Mach. Learn. Res.},
volume = {7},
pages = {429--454},
year = {2006},
url = {http://jmlr.org/papers/v7/kitzelmann06a.html},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/KitzelmannS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KitzelmannS07,
author = {Emanuel Kitzelmann and
Ute Schmid},
editor = {Maribel Fern{\'{a}}ndez and
Ralf L{\"{a}}mmel},
title = {Inducing Constructor Systems from Example-Terms by Detecting Syntactical
Regularities},
booktitle = {Proceedings of the 7th International Workshop on Rule Based Programming,
RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {1},
pages = {49--63},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.015},
doi = {10.1016/J.ENTCS.2006.11.015},
timestamp = {Fri, 27 Jan 2023 11:33:51 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KitzelmannS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/KitzelmannS05,
author = {Emanuel Kitzelmann and
Ute Schmid},
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {An Explanation Based Generalization Approach to Inductive Synthesis
of Functional Programs},
booktitle = {Workshop on Approaches and Applications of Inductive Programming,
{AAIP} 2005, to be held in conjunction with the 22nd International
Conference on Machine Learning {(ICML} 2005), Bonn, Germany, August
7, 2005},
pages = {15--26},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/aaip05\_ifps.pdf},
timestamp = {Thu, 04 May 2023 22:06:05 +0200},
biburl = {https://dblp.org/rec/conf/aaip/KitzelmannS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaip/2005,
editor = {Emanuel Kitzelmann and
Roland Olsson and
Ute Schmid},
title = {Workshop on Approaches and Applications of Inductive Programming,
{AAIP} 2005, to be held in conjunction with the 22nd International
Conference on Machine Learning {(ICML} 2005), Bonn, Germany, August
7, 2005},
year = {2005},
url = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/proceedings.pdf},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaip/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/BischofGK03,
author = {Holger Bischof and
Sergei Gorlatch and
Emanuel Kitzelmann},
title = {Cost Optimality And Predictability Of Parallel Programming With Skeletons},
journal = {Parallel Process. Lett.},
volume = {13},
number = {4},
pages = {575--587},
year = {2003},
url = {https://doi.org/10.1142/S0129626403001525},
doi = {10.1142/S0129626403001525},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/BischofGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BischofGK03,
author = {Holger Bischof and
Sergei Gorlatch and
Emanuel Kitzelmann},
editor = {Harald Kosch and
L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
Hermann Hellwagner},
title = {Cost Optimality and Predictability of Parallel Programming with Skeletons},
booktitle = {Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference,
Klagenfurt, Austria, August 26-29, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2790},
pages = {682--693},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45209-6\_97},
doi = {10.1007/978-3-540-45209-6\_97},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/BischofGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BischofGK03,
author = {Holger Bischof and
Sergei Gorlatch and
Emanuel Kitzelmann},
editor = {Victor E. Malyshkin},
title = {Design and Implementation of a Cost-Optimal Parallel Tridiagonal System
Solver Using Skeletons},
booktitle = {Parallel Computing Technologies, 7th International Conference, PaCT
2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2763},
pages = {415--428},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45145-7\_39},
doi = {10.1007/978-3-540-45145-7\_39},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/pact/BischofGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/KitzelmannSMW02,
author = {Emanuel Kitzelmann and
Ute Schmid and
Martin M{\"{u}}hlpfordt and
Fritz Wysotzki},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Inductive Synthesis of Functional Programs},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2385},
pages = {26--37},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_6},
doi = {10.1007/3-540-45470-5\_6},
timestamp = {Sun, 02 Jun 2019 21:23:47 +0200},
biburl = {https://dblp.org/rec/conf/aisc/KitzelmannSMW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-09-28 02:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
