Journal article icon

Journal article

Decidability of the Theory of the Totally Unbounded omega−Layered Structure

Actions


Journal:
TIME'04: Proceedings of the 11th International Symposium on Temporal Representation and Reasoning More from this journal
Publication date:
2004-01-01
UUID:
uuid:fc848d1c-818d-4912-b216-05418ec56b02
Local pid:
cs:3946
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