Normal view MARC view ISBD view

Fork algebras in algebra, logic and computer science

By:

Frias, Marcelo F

Contributor(s):

Material type: Article

ArticlePublication details: ref_localidad@33842 : IOS, 1997Description: 1 archivo (1,2 MB)Subject(s):

Online resources:

Click here to access online

Summary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Capítulo de libro	Biblioteca Fac.Informática	A0322 (Browse shelf(Opens below))	Available		DIF-A0322

Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)

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.

Fundamenta Informaticae, 32(1), pp. 1-25

There are no comments on this title.

to post a comment.