3457 search results - page 204 / 692 » A Symbol Is Not a Symbol |
170
click to vote
JSYML
2002
15 years 6 months ago
2002
We consider equational theories for functions defined via recursion involving equations between closed terms with natural rules based on recursive definitions of the function symb...
133
click to vote
CMA
2010
15 years 3 months ago
2010
In this paper we present a symbolic manipulation package that enumerates the hypergroups of order 3. It separates them to isomorphic classes and calculates their cardinality. Key ...
183
click to vote
SOFSEM
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
212
click to vote
JOT
2008
15 years 6 months ago
2008
This paper describes how use the HTMLEditorKit to perform web data mining on stock statistics for listed firms. Our focus is on making use of the web to get information about comp...
177
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...