3457 search results - page 73 / 692 » A Symbol Is Not a Symbol |
CADE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
HYBRID
1994
Springer
14 years 2 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
CAV
1990
Springer
14 years 2 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
AMC
2005
13 years 10 months ago
2005
This paper describes a new symbolic algorithm for formal integration of a class of functions in the context of exact power series by using generalized hypergeometric series and co...
LOGCOM
2007
13 years 10 months ago
2007
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...