- Journal:
- Theor. Comput. Sci.
- Volume:
- 289
- Issue:
- 1
- Pages:
- 591-627
- Publication date:
- 2002-01-01
- URN:
-
uuid:6e9db257-b118-464d-a96d-59ac501ba222
- Local pid:
- cs:186
- Copyright date:
- 2002
Journal article
Propositional default logics made easier: computational complexity of model checking
Actions
Authors
Bibliographic Details
Terms of use
If you are the owner of this record, you can report an update to it here: Report update to this record