No Cover Image

Journal article 842 views

Counting on CTL*: on the expressive power of monadic path logic

Faron Moller Orcid Logo, Alexander Rabinovich

Information and Computation, Volume: 184, Issue: 1, Start page: 147

Swansea University Author: Faron Moller Orcid Logo

Full text not available from this repository: check for access using links below.

Published in: Information and Computation
ISSN: 0890-5401
Published: 2003
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa1718
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Issue: 1
Start Page: 147