Sciweavers

325 search results - page 3 / 65
» Abstract Rewriting
Sort
View
126
Voted
ENTCS
2007
95views more  ENTCS 2007»
15 years 5 months ago
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Traian-Florin Serbanuta, Grigore Rosu, José...
JAR
2007
71views more  JAR 2007»
15 years 5 months ago
Structures for Abstract Rewriting
Marc Aiguier, Diane Bahrami
109
Voted
CORR
2009
Springer
85views Education» more  CORR 2009»
15 years 2 months ago
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
Benoît Boyer, Thomas Genet
99
Voted
DLOG
2009
15 years 2 months 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»
15 years 2 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...