4008 search results - page 14 / 802 » An expressive language of signatures |
RTA
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
EACL
2009
ACL Anthology
14 years 8 months ago
2009
ACL Anthology
POPL
2001
ACM
14 years 8 months ago
2001
ACM
BIB
2007
13 years 7 months ago
2007
Gene expression signatures from microarray experiments promise to provide important prognostic tools for predicting disease outcome or response to treatment. A number of microarra...
ENTCS
2008
13 years 7 months ago
2008
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...