Sciweavers

1253 search results - page 6 / 251
» order 2000
Sort
View
IANDC
2000
53views more  IANDC 2000»
13 years 8 months ago
On the Undecidability of Second-Order Unification
Jordi Levy, Margus Veanes
JAR
2000
87views more  JAR 2000»
13 years 8 months ago
Managing Structural Information by Higher-Order Colored Unification
Dieter Hutter, Michael Kohlhase
JSYML
2000
45views more  JSYML 2000»
13 years 8 months ago
Topological Completeness for Higher-Order Logic
Steven Awodey, Carsten Butz
NECO
2000
55views more  NECO 2000»
13 years 8 months ago
Clustering Irregular Shapes Using High-Order Neurons
Hod Lipson, Hava T. Siegelmann