Showing 1 - 20 results of 1,564 for search 'MARTÍN, A.', query time: 0.06s Refine Results
  1. 1

    Infinite Lists in Z by Martin, A

    Published 1993
    Record
  2. 2
  3. 3
  4. 4

    Relating Z and First−order logic by Martin, A

    Published 2000
    Journal article
  5. 5
  6. 6
  7. 7
  8. 8

    Speaking freely on the internet by Martin, A

    Published 2019
    Journal article
  9. 9

    Encoding : A Logic for Z in 2OBJ by Martin, A

    Published 1993
    Conference item
  10. 10
  11. 11
  12. 12
  13. 13

    Relating Z and first−order logic by Martin, A

    Published 1999
    Conference item
  14. 14
  15. 15

    Of Tactics and Monads by Martin, A

    Published 1996
    Record
  16. 16

    Relating Z and first-order logic by Martin, A

    Published 2000
    Journal article
  17. 17
  18. 18
  19. 19
  20. 20