Search Sciweavers | Sciweavers

1000 search results - page 42 / 200

» Nominal rewriting systems

click to vote

ICGI
2004
Springer

101views Natural Language Processing» more ICGI 2004»

Representing Languages by Learnable Rewriting Systems

14 years 1 months ago

Download labh-curien.univ-st-etienne.fr

Rémi Eyraud, Colin de la Higuera, Jean-Chri...

claim paper

Read More »

click to vote

RTA
2004
Springer

108views Theoretical Computer Science» more RTA 2004»

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

14 years 29 days ago

Download css.jaist.ac.jp

Toshinori Takai

claim paper

Read More »

click to vote

SBCCI
2003
ACM

135views VLSI» more SBCCI 2003»

Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic

14 years 26 days ago

Download www.mat.unb.br

The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...

Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...

claim paper

Read More »

click to vote

EUROCAST
2003
Springer

99views Hardware» more EUROCAST 2003»

On Representing Biological Systems through Multiset Rewriting

14 years 25 days ago

Download www.qatar.cmu.edu

Stefano Bistarelli, Iliano Cervesato, Gabriele Len...

claim paper

Read More »

click to vote

LACL
2001
Springer

97views Automated Reasoning» more LACL 2001»

Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars

14 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers