896 search results - page 43 / 180 » On completeness of word reversing |
CALCO
2005
Springer
15 years 6 months ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
93
Voted
MICRO
2002
IEEE
15 years 5 months ago
2002
IEEE
Register integration (or just integration) is a register renaming discipline that implements instruction reuse via physical register sharing. Initially developed to perform squash...
82
Voted
AFRIGRAPH
2006
ACM
15 years 6 months ago
2006
ACM
In this paper, we describe a novel approach to 3D shape modelling, targeting at the reconstruction and repair of digitised models – a task that is frequently encountered in part...
JAR
2007
15 years 18 days ago
2007
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...
133
click to vote
STACS
1992
Springer
15 years 4 months ago
1992
Springer
We show how to speed up two string-matching algorithms: the Boyer-Moore algorithm (BM algorithm), and its version called here the reverse factor algorithm (RF algorithm). The RF al...