Algorithmic Design Using Object-Z for Twig XML Queries Evaluation

Algorithmic Design Using Object-Z for Twig XML Queries Evaluation

10.1016/j.entcs.2005.07.039

Saved in:
Bibliographic Details
Main Authors: Liu, Y., Sun, J.
Other Authors: COMPUTER SCIENCE
Format: Article
Published: 2013
Subjects:
Object-Z
Specification
Twig Query Evaluation
XML
Online Access:http://scholarbank.nus.edu.sg/handle/10635/39731
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-39731
record_format dspace
spelling sg-nus-scholar.10635-397312023-10-29T20:12:55Z Algorithmic Design Using Object-Z for Twig XML Queries Evaluation Liu, Y. Sun, J. COMPUTER SCIENCE Object-Z Specification Twig Query Evaluation XML 10.1016/j.entcs.2005.07.039 Electronic Notes in Theoretical Computer Science 151 2 SPEC. ISS. 107-124 2013-07-04T07:48:16Z 2013-07-04T07:48:16Z 2006 Article Liu, Y., Sun, J. (2006). Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. Electronic Notes in Theoretical Computer Science 151 (2 SPEC. ISS.) : 107-124. ScholarBank@NUS Repository. https://doi.org/10.1016/j.entcs.2005.07.039 15710661 http://scholarbank.nus.edu.sg/handle/10635/39731 000214161200008 Scopus
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Object-Z
Specification
Twig Query Evaluation
XML
spellingShingle Object-Z
Specification
Twig Query Evaluation
XML
Liu, Y.
Sun, J.
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
description 10.1016/j.entcs.2005.07.039
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Liu, Y.
Sun, J.
format Article
author Liu, Y.
Sun, J.
author_sort Liu, Y.
title Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
title_short Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
title_full Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
title_fullStr Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
title_full_unstemmed Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
title_sort algorithmic design using object-z for twig xml queries evaluation
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/39731
_version_ 1781411050812342272

Similar Items