BibSonomy
::
user
::
emanuel
::
tag
user
group
author
concept
BibTeX key
search:all
search:emanuel
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
login
·
register
bookmarks
bookmarks per page:
5
10
20
50
100
publications
(1)
<<
< 1 >
>>
Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems
Martin
Hofmann
and Andreas
Hirschberger
and Emanuel
Kitzelmann
and Ute
Schmid
KI 2007: Advances in Artificial Intelligence,
volume4667ofLNCS,
page468--472.
Springer-Verlag,
(
2007
)
to
inproceedings
inductive_programming
comparison
ilp
ifp
dialogs
atre
induction
adate
experiment
program_synthesis
by
emanuel
on Jun 13, 2008, 7:02 PM
URL
|
BibTeX
<<
< 1 >
>>
publications per page:
5
10
20
50
100
atre
as tag from all users
atre
as concept from emanuel
atre
as concept from all users
related tags
+
adate
+
inproceedings
+
inductive_programming
+
induction
+
ilp
+
ifp
+
experiment
+
dialogs
+
comparison
+
program_synthesis
relations
tags
MagicHaskeller
adate
analytical_ip
applications
article
ase
atre
automated_testing
bamberg
bibliography
blogs
book
cognition
cognitive_systems
cogsys
combilog
combinduce
community
comparison
constructor_systems
dblp
decidability
deductive_program_synthesis
dialogs
ebg
emanuel
enumerative_ip
experiment
extended_abstract
filp
flener
flip
foil
formal_methods
functional_programming
generic_programming
golem
haskell
higher-order_functions
horn-clauses
identification_in_the_limit
iflp
ifp
igor1
igor2
ilp
induction
inductive_programming
inproceedings
institute
ip-system
kestrel
kitzelmann
latex
lisp
logic
machine_learning
mastersthesis
maude
muggleton
olsson
overview
pac-learning
parallel_programming
position_paper
proceedings
progol
program_optimisation
program_synthesis
program_transformation
programming
proof-planning
quinlan
recursion_schemes
recursive_program_schemes
rewriting
rule-based_programming
scheme
semantics
seminal_paper
skeletons
smith
software_engineering
specware
subversion
survey
svn
syntax
synthesis_from_traces
techreport
term_paper
term_rewriting
thesys
tridiagonal_system_solver