Sciweavers

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

17

AMAST
2010
Springer

favoriteEmaildiscussreport

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

12 years 11 months ago

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

Download mpc2010.fsg.ulaval.ca

Ekaterina Komendantskaya, Guy McCusker, John Power

Real-time Traffic

AMAST 2010 | Software Engineering |

claim paper

Related Content

» Coalgebraic Models for Reactive Systems

» Modular Construction of Modal Logics

» Optimizing Conditional Logic Reasoning within CoLoSS

» Semantics and Termination of SimplyModed Logic Programs with Dynamic Scheduling

» Parallel Evaluation Strategies for Functional Logic Languages

» A Mechanical Analysis of Program Verification Strategies

» plp A Generic Compiler for Ordered Logic Programs

» On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching

» Decidability and proof systems for languagebased noninterference relations

Post Info
More Details (n/a)

Added	12 May 2011
Updated	12 May 2011
Type	Journal
Year	2010
Where	AMAST
Authors	Ekaterina Komendantskaya, Guy McCusker, John Power

Comments (0)