Sciweavers

367 search results - page 16 / 74

» A Rewriting Logic Sampler

21

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

13 years 8 months ago

Automated Termination Proofs for Logic Programs by Term Rewriting

Download tocl.acm.org

Peter Schneider-Kamp, Jürgen Giesl, Alexander...

claim paper

Read More »

17

ENTCS
2007

95views more ENTCS 2007»

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

13 years 8 months ago

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

Download www.cse.unsw.edu.au

Traian-Florin Serbanuta, Grigore Rosu, José...

claim paper

Read More »

21

CORR
2002
Springer

119views Education» more CORR 2002»

Composing Programs in a Rewriting Logic for Declarative Programming

13 years 7 months ago

Composing Programs in a Rewriting Logic for Declarative Programming

Download www.lcc.uma.es

Juan M. Molina-Bravo, Ernesto Pimentel

claim paper

Read More »

21

ENTCS
2002

69views more ENTCS 2002»

Tiling Transactions in Rewriting Logic

13 years 7 months ago

Tiling Transactions in Rewriting Logic

Download formal.cs.uiuc.edu

Roberto Bruni, José Meseguer, Ugo Montanari

claim paper

Read More »

20

ENTCS
1998

60views more ENTCS 1998»

Semantics, modularity, and rewriting logic

13 years 7 months ago

Semantics, modularity, and rewriting logic

Download www.brics.dk

Peter D. Mosses

claim paper

Read More »

« Prev « First page 16 / 74 Last » Next »