Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions
about
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions
description
im März 2008 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована в березні 2008
@uk
name
Higher-Order Unification: A st ...... ased on explicit substitutions
@en
Higher-Order Unification: A st ...... ased on explicit substitutions
@nl
type
label
Higher-Order Unification: A st ...... ased on explicit substitutions
@en
Higher-Order Unification: A st ...... ased on explicit substitutions
@nl
prefLabel
Higher-Order Unification: A st ...... ased on explicit substitutions
@en
Higher-Order Unification: A st ...... ased on explicit substitutions
@nl
P1476
Higher-Order Unification: A st ...... ased on explicit substitutions
@en
P2093
Fairouz Kamareddine
Flávio L.C. de Moura
P304
P356
10.1016/J.JAL.2006.10.001
P577
2008-03-01T00:00:00Z