Annales Societatis Mathematicae Polonae: Fundamenta informaticae, Volumes 9-10Państwowe Wydawn. Naukowe, 1991 - Artificial intelligence |
Other editions - View all
Common terms and phrases
actions algebras algorithm applicative arbitrary assertions assignment assume assumptions bound called communication complete Computer Computer Science concurrent condition consider construct contains context free continuous corresponding deadlock defined Definition denote derivation deterministic elements equivalent example execution exists expression extend fact finite fixed formal formulas function give given grammar Hence holds implies induction initial input interference introduced Iteration labeled language Lemma logic means module natural Note notion observer obtain occurrence operations pair parameters partial predicates problem procedure processors productions proof proof system properties prove relation resource respectively restrictions result rule satisfies semantics sequence simple slice space specification statement strict structures symbol terminal Theorem theory tion tree trellis true University values variables waiting