3 search results - page 1 / 1 » Binding Constraints as Instructions of Binding Machines |
COLING
2000
13 years 6 months ago
2000
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
: A modern special-purpose processor (e.g., for image and graphical applications) usually contains a set of instructions supporting complex multiply-operations. These instructions ...