Model Checking µ-Calculus in Well-Structured Transition Systems

  • Authors:
  • E. V. Kouzmin;N. V. Shilov;V. A. Sokolov

  • Affiliations:
  • Yaroslavl State University;Institute of Informatics Systems;Yaroslavl State University

  • Venue:
  • TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study the data models WP and AWP that have been widely used for many years in the area of Information Retrieval. WP and AWP can be used to represent and query textual information under the Boolean model using the concepts of attributes with values ...