16 search results - page 4 / 4 » VeriML: typed computation of logical terms inside a language... |
CIKM
2005
Springer
13 years 11 months ago
2005
Springer
Documents formatted in eXtensible Markup Language (XML) are becoming increasingly available in collections of various document types. In this paper, we present an approach for the...