Titlebook: Relational Methods for Computer Science Applications; Ewa Orłowska,Andrzej Szałas Book 2001 Springer-Verlag Berlin Heidelberg 2001 Applied

噱头

向外

Processes as Relationsf Communicating Systems CCS are interpreted by purely relational terms without any inductive methods. We also introduce the notion of a relational bisimulation which leads to a canonical representative of a bisimulation-class of processes.

Sciatica

TOM

周年纪念日

Studies in Fuzziness and Soft Computinghttp://image.papertrans.cn/r/image/826102.jpg

狗窝

Ligneous

Contact Relation AlgebrasContact relation algebras (CRAs), introduced in [25], arise from the study of “part—of” and “contact” relations rooted in mereology and have applications, for example, in qualitative spatial reasoning. We give an overview of the origins of CRAs and numerous examples.

Fatten

Relational Models for the Nonassociative Lambek CalculusWe prove a theorem on representation of residuated groupoids in algebras of binary relations, which yields a strong completeness theorem for the nonassociative Lambek calculus. Relational models are of interest for dynamic interpretations of Lambek-style calculi [5]. We use techniques of labelled formulas [7], [5] to the nonassociative case.

obsolete

THE