2018 search results - page 4 / 404 » Code Normal Forms |
AML
2007
13 years 10 months ago
2007
A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to ...
CADE
2003
Springer
14 years 10 months ago
2003
Springer
VLDB
1990
ACM
14 years 1 months ago
1990
ACM
Relations in partitioned normal form are an important subclass of nested relations. This paper is concerned with the problem of restructuring relations in partitioned normal form ...
IJAC
2010
13 years 7 months ago
2010
We explicitly construct Markov languages of normal forms for the groups in the title of the paper and closely related groups. A Markov language of normal forms is a choice of &quo...
IAT
2008
IEEE
14 years 4 months ago
2008
IEEE
Auctions are pervasive in today’s society and provide a variety of real markets. This article facilitates a strategic choice between a set of available trading strategies by int...