What people are saying - Write a review
We haven't found any reviews in the usual places.
B Courcelle M Nivat
E W Dijkstra
B H Mayoh
Other editions - View all
abstract abstract data types algebraic theory algorithm algorithmic logic applied atomic attribute grammars axioms behaviour binary binary relation Boolean bounded C.A.R. Hoare called complete component concurrent condition consider consistent construct contains context-free context-free grammar corresponding data type database defined definition denote derivation domain elementary elements equations equivalent example exists finite set formal formula function given graph Hence implies induction initial algebra input integer interpretation introduced iterated Kripke frames labelled Lemma mapping marking mathematical modal logic morphisms mprog node notation operations output pair paper parsing Petri net Petri nets predicate problem Proc production programming languages proof properties Proposition prove pushout recursive reduced relation resp result rules S-sorted satisfies semantics sequence stack strict deterministic strings structure subfile subset symbols syntactic terminal Theorem tion token transformation transition tree true tuples two-level grammar variables vector