Fork Algebras in Algebra, Logic and Computer Science
Copyright policy )Fork Algebras in Algebra, Logic and Computer Science
Since the main themes at the Helena Rasiowa memorial were algebra, logic and computer science, we will present a survey of results on fork algebras from these points of view. In this paper we study fork algebras from the points of view of their algebraic and logical properties and applications. These results will prove to be essential, in a future work, for the definition of a wide-spectrum calculus for program construction.
Rasiowa-Sikorski calculus, fork algebras, General topics in the theory of software, Classical first-order logic, relation algebra, dynamic logic, Cylindric and polyadic algebras; relation algebras, survey, calculus for program construction, Modal logic (including the logic of norms), first-order logic, modal logic
Rasiowa-Sikorski calculus, fork algebras, General topics in the theory of software, Classical first-order logic, relation algebra, dynamic logic, Cylindric and polyadic algebras; relation algebras, survey, calculus for program construction, Modal logic (including the logic of norms), first-order logic, modal logic
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).15 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!