Sciweavers

7943 search results - page 27 / 1589
» A calculus for costed computations
Sort
View
CIE
2008
Springer
13 years 9 months ago
Implementing Spi Calculus Using Nominal Techniques
Temesghen Kahsai, Marino Miculan
COLING
1999
13 years 7 months ago
Tree Adjoining Grammars in a Fragment of the Lambek Calculus
V. Michele Abrusci, Christophe Fouqueré, Ja...
DOCENG
2006
ACM
14 years 1 months ago
Comparing XML path expressions
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
Pierre Genevès, Nabil Layaïda