Sciweavers

325 search results - page 3 / 65
» Abstract Rewriting
Sort
View
ENTCS
2007
95views more  ENTCS 2007»
15 years 2 months ago
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Traian-Florin Serbanuta, Grigore Rosu, José...
93
Voted
JAR
2007
71views more  JAR 2007»
15 years 2 months ago
Structures for Abstract Rewriting
Marc Aiguier, Diane Bahrami
89
Voted
CORR
2009
Springer
85views Education» more  CORR 2009»
15 years 11 hour ago
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
Benoît Boyer, Thomas Genet
74
Voted
DLOG
2009
15 years 3 hour ago
Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)
Inanç Seylan, Enrico Franconi, Jos de Bruij...
CORR
2010
Springer
128views Education» more  CORR 2010»
14 years 11 months ago
Trajectory Codes for Flash Memory
Abstract--Flash memory is well-known for its inherent asymmetry: the flash-cell charge levels are easy to increase but are hard to decrease. In a general rewriting model, the store...
Anxiao Jiang, Michael Langberg, Moshe Schwartz, Je...