Search Results - "algorithmic logic with non-deterministic programs"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Logic LNCA of non-deterministic complex algorithms

    Authors: Rasiowa, Helena

    Subject Terms: interacting stacks, logic of non-deterministic complex algorithms, non-deterministic regular programs, algorithmic logic with non-deterministic programs, Abstract data types, algebraic specification

    File Description: application/xml

    Access URL: https://zbmath.org/3903964

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: