Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)
Editor(s):
Type
Book [Editorship]
Book title
Electronic Notes in Theoretical Computer science
Year
2007
Vol.
143
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering