Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

108

Voted

IFIP
1994
Springer

115views Programming Languages» more IFIP 1994»

Logic Programming: The Evolving Algebra Approach

15 years 6 months ago

Logic Programming: The Evolving Algebra Approach

Download reference.kfupm.edu.sa

The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1

Egon Börger

Real-time Traffic

Evolving Algebras | IFIP 1994 | Logic Programming Systems | Programming Languages | Speci Cations |

claim paper

Related Content

» Semantics of ObjectOriented Data Models The Evolving Algebra Approach

» Deriving Partial Correctness Logics From Evolving Algebras

» Strong and uniform equivalence of nonmonotonic theories an algebraic approach

» An Algebraic Approach to Sharing Analysis of Logic Programs

» A Logical Approach to Abstract Algebra

» Semantics of disjunctive programs with monotone aggregates an operatorbased approach

» Specifying Complex and Structured Systems with Evolving Algebras

» A first approach to argumentbased recommender systems based on defeasible logic programmin...

» The Evolution of Concurrent Programs

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	IFIP
Authors	Egon Börger

Comments (0)