Publications | Lund University Publications

1 – 4 of 4

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=author%3D%22Venema%2C+Yde%22+or+(documentType+any+%22bookEditor+conferenceEditor%22+and+editor%3D%22Venema%2C+Yde%22)&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2016
Mark Completeness for coalgebraic fixpoint logic
Enqvist, Sebastian ^LU ; Seifan, Fatemeh and Venema, Yde (2016) 25th EACSL Annual Conference on Computer Science Logic, CSL 2016 and the 30th Workshop on Computer Science Logic In Leibniz International Proceedings in Informatics (LIPIcs) 62. p.1-7
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2015
Mark Monadic second-order logic and bisimulation invariance for coalgebras
Enqvist, Sebastian ^LU ; Seifan, Fatemeh and Venema, Yde (2015) 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) p.353-365
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Expressiveness of the modal mu-calculus on monotone neighborhood structures
Enqvist, Sebastian ^LU ; Seifan, Fatemeh and Venema, Yde (2015)
- Working paper/Preprint › Working paper
Mark Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
Enqvist, Sebastian ^LU ; Seifan, Fatemeh and Venema, Yde (2015) In Preprint without journal information
- Contribution to journal › Article