Normal view MARC view ISBD view

On the multiplicity of operational semantics for logic programming and their modelization by attribute grammars Pierre Deransart

By:

Series: Rapports de recherche. 916 Publication details: Paris I. N. R. I. A 1988Description: 26 p 27 cm

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
Carti	IMAR	III 30877 (Browse shelf(Opens below))	Available		0026434

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	III 30873 Estimation des segments 2D: un algorithme robuste	III 30874 Implementation of the Atkin-Goldwasser-Kilian Primary Testing Algorithm	III 30876 On the stability and convergence of higer order mixed finite element methods for second order elliptic problems	III 30877 On the multiplicity of operational semantics for logic programming and their modelization by attribute grammars	III 30878 A non-interleaving sematics for CCS Based on Proved Translations	III 30879 Reachability, observability, minimality and extendibility for two-point boundary-value descriptor systems	III 30880 A finite element method to solve the compressible Navier-Stokes Equations with Turbulence Modelling	Next

Contine bibliografie

There are no comments on this title.

to post a comment.