dx.doi.org/10.1007/11944836_26
Preview meta tags from the dx.doi.org website.
Linked Hostnames
22- 13 links tolink.springer.com
- 13 links toscholar.google.com
- 11 links towww.springernature.com
- 9 links todx.doi.org
- 6 links todoi.org
- 4 links tocitation-needed.springer.com
- 4 links towww.ams.org
- 4 links towww.emis.de
Thumbnail
Search Engine Appearance
A Proof System for the Linear Time μ-Calculus
The linear time μ-calculus extends LTL with arbitrary least and greatest fixpoint operators. This gives it the power to express all ω-regular languages, i.e. strictly more than LTL. The validity problem is PSPACE-complete for both LTL and the linear time...
Bing
A Proof System for the Linear Time μ-Calculus
The linear time μ-calculus extends LTL with arbitrary least and greatest fixpoint operators. This gives it the power to express all ω-regular languages, i.e. strictly more than LTL. The validity problem is PSPACE-complete for both LTL and the linear time...
DuckDuckGo
https://dx.doi.org/10.1007/11944836_26A Proof System for the Linear Time μ-Calculus
The linear time μ-calculus extends LTL with arbitrary least and greatest fixpoint operators. This gives it the power to express all ω-regular languages, i.e. strictly more than LTL. The validity problem is PSPACE-complete for both LTL and the linear time...
General Meta Tags
36- titleA Proof System for the Linear Time μ-Calculus | SpringerLink
- charsetUTF-8
- X-UA-CompatibleIE=edge
- viewportwidth=device-width, initial-scale=1
- applicable-devicepc,mobile
Open Graph Meta Tags
6- og:urlhttps://link.springer.com/chapter/10.1007/11944836_26
- og:typePaper
- og:site_nameSpringerLink
- og:titleA Proof System for the Linear Time μ-Calculus
- og:descriptionThe linear time μ-calculus extends LTL with arbitrary least and greatest fixpoint operators. This gives it the power to express all ω-regular languages, i.e. strictly more than LTL. The validity problem is PSPACE-complete for both LTL and the linear time...
Twitter Meta Tags
6- twitter:siteSpringerLink
- twitter:cardsummary
- twitter:image:altContent cover image
- twitter:titleA Proof System for the Linear Time μ-Calculus
- twitter:descriptionThe linear time μ-calculus extends LTL with arbitrary least and greatest fixpoint operators. This gives it the power to express all ω-regular languages, i.e. strictly more than LTL. The validity problem is PSPACE-complete for both LTL and the linear time...
Item Prop Meta Tags
3- position1
- position2
- position3
Link Tags
9- apple-touch-icon/oscar-static/img/favicons/darwin/apple-touch-icon-6ef0829b9c.png
- canonicalhttps://link.springer.com/chapter/10.1007/11944836_26
- icon/oscar-static/img/favicons/darwin/android-chrome-192x192.png
- icon/oscar-static/img/favicons/darwin/favicon-32x32.png
- icon/oscar-static/img/favicons/darwin/favicon-16x16.png
Links
83- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Christian%20Dax%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Martin%20Hofmann%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://scholar.google.co.uk/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=&as_oq=&as_eq=&as_occt=any&as_sauthors=%22Martin%20Lange%22&as_publication=&as_ylo=&as_yhi=&as_allsubj=all&hl=en
- http://www.ams.org/mathscinet-getitem?mr=1000065
- http://www.ams.org/mathscinet-getitem?mr=1859532