Back to Results
First PageMeta Content
Lambda calculus / Combinatory logic / Logic in computer science / Unification / Free variables and bound variables / Sturm–Liouville theory / Mathematics / Theoretical computer science / Mathematical logic


Document Date: 2013-06-14 02:46:25

Open Document

File Size: 489,10 KB

Share Result on Facebook

City

Barcelona / Linz / Girona / /

Company

Creative Commons / Dagstuhl Publishing / tXu / /

Country

Germany / Austria / Spain / /

/

Facility

Research Institute / kutsia}@risc.jku.at Artificial Intelligence Research Institute / Johannes Kepler University / /

IndustryTerm

anti-unification algorithm / style anti-unification algorithm / systems / anti-unification algorithms / higher-order anti-unification algorithm / unification algorithms / generalization algorithm / triple systems / rule-based anti-unification algorithm / software code refactoring / Generalization algorithms / substitution applications / /

OperatingSystem

Xp / /

Organization

at Artificial Intelligence Research Institute / Spanish Council for Scientific Research / Austrian Science Fund / Universitat de Girona / Johannes Kepler University / Research Institute for Symbolic Computation / /

Person

Jordi Levy / Mateu Villaret / Temur Kutsia / Alexander Baumgartner / /

Position

author / Editor / Prime Minister / /

ProgrammingLanguage

Prolog / Java / Erlang / Python / /

Technology

unification algorithms / anti-unification algorithms / anti-unification algorithm / K. An algorithm / artificial intelligence / Java / higher-order anti-unification algorithm / style anti-unification algorithm / generalization algorithm / rule-based anti-unification algorithm / Dom / Digital Object Identifier / 1998 ACM Subject Classification F.2.2 Nonnumerical Algorithms / Generalization algorithms / /

SocialTag