Search Sciweavers | Sciweavers

498 search results - page 15 / 100

» Term Rewriting

Voted

RTA
2004
Springer

108views Theoretical Computer Science» more RTA 2004»

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

15 years 3 months ago

Download css.jaist.ac.jp

Toshinori Takai

claim paper

Read More »

Voted

CSL
1999
Springer

82views Automated Reasoning» more CSL 1999»

Term Rewriting

15 years 1 months ago

Download www.cs.uu.nl

Aart Middeldorp

claim paper

Read More »

click to vote

IFIP
1999
Springer

116views Programming Languages» more IFIP 1999»

Hardware Synthesis from Term Rewriting Systems

15 years 1 months ago

Download www.ece.cmu.edu

James C. Hoe, Arvind

claim paper

Read More »

click to vote

PDP
1996
IEEE

177views Distributed And Parallel Com...» more PDP 1996»

Concurrent Object-Oriented Programming Techniques in a Term Graph Rewriting Framework

15 years 1 months ago

Download www.cs.ucy.ac.cy

George A. Papadopoulos

claim paper

Read More »

click to vote

MFCS
1997
Springer

113views Theoretical Computer Science» more MFCS 1997»

Simplification Orders for Term Graph Rewriting

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers