Showing 1 - 3 results of 3 for search 'Silva, Alexandra', query time: 0.02s Refine Results
  1. 1
    Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
    Published 2017
    Other Authors: “…Silva, Alexandra…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
    Published 2012
    Other Authors: “…Silva, Alexandra…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers /
    Published 2019
    Other Authors: “…Silva, Alexandra…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search