Conference item
On the Complexity of Theory Curbing
Actions
Authors
- Publisher:
- Springer
- Host title:
- Logic for Programming and Automated Reasoning‚ 7th International Conference‚ LPAR 2000‚ Reunion Island‚ France‚ November 11−12‚ 2000‚ Proceedings
- Volume:
- 1955
- Publication date:
- 2000-01-01
- UUID:
-
uuid:1dac5133-4903-4494-937f-9d53eb856925
- Local pid:
-
cs:204
- Deposit date:
-
2015-03-31
- ARK identifier:
Terms of use
- Copyright date:
- 2000
If you are the owner of this record, you can report an update to it here: Report update to this record