89 search results - page 13 / 18 » Hypermap operations of finite order |
191
click to vote
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
137
click to vote
ICLP
1994
Springer
15 years 10 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
171
click to vote
LOPSTR
1994
Springer
15 years 10 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
131
click to vote
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
The necessity of a lab course on computer security arises from the students' need to complement course work by hands-on experience. In order to meet the distance teaching dem...
186
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. We propose a new adaptive algorithm for the exact simultaneous resolution of several triangular systems over finite fields: it is composed of several practicable variants...