Book section icon

Book section

Expressivity of Lean Formalisms

Actions


Authors



Publication date:
1994-01-01


UUID:
uuid:59774fd5-4fdf-46d9-922d-8a9482d32d19
Local pid:
cs:6777
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