Languages of nested trees - PowerPoint PPT Presentation

1 / 25
} ?>
View by Category
About This Presentation
Title:

Languages of nested trees

Description:

Corollary: NT-mu can capture every property that the mu-calculus can. Corollary: The temporal logic CARET is contained in NT-mu. ... – PowerPoint PPT presentation

Number of Views:40
Avg rating:3.0/5.0
Slides: 26
Provided by: swaratch
Learn more at: http://www.cse.psu.edu
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com