4767 search results - page 564 / 954 » Structures for Abstract Rewriting |
206
click to vote
KES
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Search engines traditionally index unstructured text and return ranked lists of documents that match a given query. As search engines functionally move in the direction o...
169
click to vote
LPAR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, G...
183
Voted
MOZ
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...
187
click to vote
MPC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
184
click to vote
MPC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...