Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings
Springer Science & Business Media, 1985 - Computers - 521 pages
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
actor acyclic algebraic ALI2 assertions band matrix Bandwidth binary relation cell clause complete component Computer Science Concurrent condition configuration corresponding cycle defined definition deletion denotational semantics denote diagonal domain edge element example execution false Figure finite function functor geometric optimization problems given goal graph Hence Horn logic induction inference basis input instantiation integer interval graph layout Lemma logic marker matching matrix method node NP-complete number of messages obtained occurrences octree operational semantics operations outerplanar graphs p-vector parameters path planar graph points polynomial PPSAs predicate primary messages procedure processors programming language PROLOG proof properties prove RECM recursive relation replaced result rule satisfies SCCS semantics sentences sequence serializable shared action silhouette skolemized SNTM solution specification step subset Theorem total number transition tree true update variables vector vertex VLSI