BIROn - Birkbeck Institutional Research Online

Browse by Journal and Volume

Up a level
Export as [feed] Atom [feed] RSS
Group by: Author(s) | Date | School | No Grouping
Jump to: W
Number of items: 1.

W

Wolter, F. and Zakharyaschev, Michael (2008) Undecidability of the unification and admissibility problems for modal and description logics. ACM Transactions on Computational Logic 9 (4), ISSN 1529-3785.

This list was generated on Sun Mar 2 02:36:03 2025 GMT.