BibSonomy
::
bibtex
::
tag
user
group
author
concept
BibTeX key
search:all
search:mh
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
mh
's BibTeX entry:
Term Rewriting Systems
552003.
Authors:
Terese
Tags:
imported
|
BibTeX
@book{Terese03Term,
title = {Term Rewriting Systems},
author = { Terese},
publisher = {Cambridge University Press},
series = {Cambridge Tracts in Theoretical Computer Science},
volume = {55},
year = {2003},
keywords = {imported }
}
relations
FFOIL
←
FOIL
tags
1971
1979
1980
1985
1990
1991
1993
1994
1995
1996
1998
1999
2001
2002
2003
2005
2006
2007
ADATE
adate
Angluin
applications
article
atre
automatic_programming
book
boosting
Cameron-Jones
constructor_systems
Deville
Dialogs
dialogs
Dialogs-II
Dzeroski
ebg
editing_by_example
empirical_learning
explanation-based_generalization
extended_abstract
FFOIL
filp
first_order_rules
Flener
FOIL
functional_programming
gap_pattern
Golem
Hernandez
identification_in_the_limit
igor1
igor2
ILP
ilp
imported
Induction
induction
inductive
inductive_functional_logic_programming
inductive_functional_programming
inductive_inference
inductive_learning
inductive_logic_programming
inductive_program_synthesis
inductive_programming
inproceedings
introduction
inverse_entailment
inverse_narrowing
inverse_resolution
IP
Lavrac
logic_programming
machine_learning
mastersthesis
Muggleton
myown
Nix
Olsson
overview
parallel
parallel_programming
pattern_languages
PhD
Plotkin
proceedings
Progol
programming
published
Quinlan
Ramirez
recursive_program_schemes
relational_data
relative_least_general_generalisation
relative_least_general_generalization
rlgg
rule-based_programming
skeletons
Smith
software_engineering
survey
term_paper
tridiagonal_system_solver
tutorial
Yilmaz