Relating Z and First−order logic

Bibliographic Details
Main Author: Martin, A
Format: Journal article
Published: 2000
Search Result 1

Relating Z and first-order logic by Martin, A

Published 2000
Journal article
Search Result 2

Relating Z and first−order logic by Martin, A

Published 1999
Conference item