18 search results - page 1 / 4 » Further Reduction of Normal Forms and Unique Normal Forms of... |
IJBC
2008
13 years 4 months ago
2008
IJBC
2008
13 years 4 months ago
2008
In this work we study some properties associated with the bordercollision bifurcations in a two-dimensional piecewise linear map in canonical form, related to the case in which a ...
ISMIS
2005
Springer
13 years 10 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
MCMASTER
1993
13 years 9 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
EACL
1989
ACL Anthology
13 years 6 months ago
1989
ACL Anthology
It is a tacit assumption of much linguisticinquiry that alldistinctderivations of a string should assign distinct meanings. But despite the tidinessof such derivational uniqueness...