Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1001.0735
Cited By
v1
v2 (latest)
Named Models in Coalgebraic Hybrid Logic
Symposium on Theoretical Aspects of Computer Science (STACS), 2010
5 January 2010
Lutz Schröder
D. Pattinson
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Named Models in Coalgebraic Hybrid Logic"
0 / 0 papers shown
No papers found
Page 1 of 0
