Conference item icon

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

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP