| Document Date: 2005-02-14 06:01:46
Open Document File Size: 186,17 KBShare Result on Facebook
City Munich / αProlog / / Company Qas / / / Facility University Munich / Edinburgh University / / IndustryTerm nominal unification-based proof search / proof search using nominal unification / proof-search / Proof-search rules / unification algorithm / type systems / nominal unification algorithm / proof-search procedure / proof search / / Organization Edinburgh University / / Person Nas / / Position head / second author / / ProgrammingLanguage Prolog / / Technology Alpha / unification algorithm / nominal unification algorithm / /
SocialTag |
Avoiding Equivariance in Alpha-Prolog Christian Urban1 and James Cheney2 1 Ludwig-Maximilians-University Munich () 2