Search Sciweavers | Sciweavers

1000 search results - page 45 / 200

» Nominal rewriting systems

click to vote

COMSIS
2007

85views more COMSIS 2007»

OORS: An Object-Oriented Rewrite System

13 years 7 months ago

Download www.proceedings2007.imcsit.org

Gernot Gebhard, Philipp Lucas

claim paper

Read More »

click to vote

MSCS
2006

87views more MSCS 2006»

Addressed term rewriting systems: application to a typed object calculus

13 years 7 months ago

Download web.cs.wpi.edu

Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...

claim paper

Read More »

click to vote

AIEDAM
2002

75views more AIEDAM 2002»

Product family modeling and design support: An approach based on graph rewriting systems

13 years 7 months ago

Download ami.ust.hk

Xuehong Du, Jianxin Jiao, Mitchell M. Tseng

claim paper

Read More »

click to vote

CORR
1998
Springer

67views Education» more CORR 1998»

Separating Dependency from Constituency in a Tree Rewriting System

13 years 7 months ago

Download www.cs.sfu.ca

Anoop Sarkar

claim paper

Read More »

click to vote

TCS
1998

122views Theoretical Computer Science» more TCS 1998»

Contributions of Ronald V. Book to the Theory of String-Rewriting Systems

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers