Conference item icon

Conference item

Relating Z and first−order logic

Actions


Authors


Andrew Martin More by this author
Publisher:
Springer−Verlag
Publication date:
1999-09-01
URN:
uuid:d82d68ca-88a1-4481-9a06-b329953ecdb0
Local pid:
cs:2495

Terms of use


Metrics



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

TO TOP