Search Results - "semantics of nondeterministic algorithms"
-
1
Authors:
Source: Theoretical Computer Science. 11:227-245
Subject Terms: semantics of nondeterministic algorithms, 0202 electrical engineering, electronic engineering, information engineering, Combinatory logic and lambda calculus, lambda calculus, 0102 computer and information sciences, 02 engineering and technology, Algorithms in computer science, 01 natural sciences, Abstract data types, algebraic specification, Theoretical Computer Science, Computer Science(all)
File Description: application/xml
Full Text Finder
Nájsť tento článok vo Web of Science