Showing 1 - 4 results of 4 for search '"Distinguished Dissertations in Computer Science"', query time: 0.03s Refine Results
  1. 1
    Logic programming operational semantics and proof theory
    by Andrews, James H.
    Published 1992
    “…Distinguished dissertations in computer science…”
    Book
  2. 2
    Specification and proof in real-time CPS
    by Davies, J.
    Published 1993
    “…Distinguished Dissertations in Computer Science…”
    Book
  3. 3
    Efficient algorithms for listing combinatorial structures /
    by Goldberg, Leslie Ann
    Published 1993
    “…Distinguished dissertations in computer science…”
    Book
  4. 4
    Action refinement in process algebras
    by Aceto, Luca
    Published 1992
    “…Distinguished Dissertations in Computer Science…”
    Book
Search Tools: RSS Feed – Email Search