Showing 1 - 2 results of 2 for search 'Snyder, Wayne, 1955-', query time: 0.01s Refine Results
  1. 1
    A proof theory for general unification /
    by Snyder, Wayne, 1955-
    Published 1991
    Book
  2. 2
    6th international workshop on unification Dagstuhl-Seminar-Report; 42 29.07.-31.07.92(9231)
    Other Authors: “…Snyder, Wayne, 1955-…”
    Book
Search Tools: RSS Feed – Email Search