Sciweavers

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

8

ENTCS
2007

favoriteEmaildiscussreport

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

13 years 5 months ago

Equivalence of Two Formal Semantics for Functional Logic Programs

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Juan Rodr&i

Real-time Traffic

ENTCS 2007 |

claim paper

Related Content

» An Operational Approach to Combining Classical Set Theory and Functional Programming Langu...

» Nested Epistemic Logic Programs

» Proof Styles in Operational Semantics

» Equivalence for the G3stable models semantics

» Infinite trace equivalence

» Alternative Characterizations for Program Equivalence under AnswerSet Semantics Preliminar...

» Alternative Characterizations for Program Equivalence under AnswerSet Semantics Based on U...

» Propositional theories are strongly equivalent to logic programs

» Discovering Classes of Strongly Equivalent Logic Programs

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández

Comments (0)