Preface

Authors:
Narciso Martí-Oliet;José Meseguer
Affiliations:
Facultad de Matemáticas, Universidad Complutense, Madrid, Spain and Computer Science Laboratory, SRI International, Ravenswood Ave. Menlo Park, CA;Computer Science Laboratory, SRI International, Ravenswood Ave. Menlo Park, CA
Venue:
Theoretical Computer Science - Rewriting logic and its applications
Year:
2002

Citing 0
Cited 2

Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logic

SBCCI '04 Proceedings of the 17th symposium on Integrated circuits and system design
Narrowing, abstraction and constraints for proving properties of reduction relations

Rewriting Computation and Proof

Quantified Score

Hi-index	0.00

Visualization

Abstract