Keyword : completeness


On Completeness of Automata
Vakhtang LASHKIA Akihiro NOZAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/11/25
Vol. E81-D  No. 11 ; pp. 1305-1307
Type of Manuscript:  LETTER
Category: Automata,Languages and Theory of Computing
Keyword: 
automatacompletenessfeedback connection
 Summary | Full Text:PDF

Requirements Specification and Analysis of Digital Systems Using FARHDL
Victor R. L. SHEN Feng-Ho KUO Feipei LAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/03/25
Vol. E81-D  No. 3 ; pp. 317-328
Type of Manuscript:  PAPER
Category: Artificial Intelligence and Cognitive Science
Keyword: 
knowledge baserequirements specification formal analysisPetri netcompletenessand consistency
 Summary | Full Text:PDF

The Closure Class of MIN Σ0 Is NPO-PB
Takeshi OHGURO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/01/25
Vol. E80-A  No. 1 ; pp. 242-246
Type of Manuscript:  LETTER
Category: Algorithms and Data Structures
Keyword: 
approximationcompletenessNPO-PBMIN Σ0
 Summary | Full Text:PDF

On Multiple-Valued Logical Functions Realized by Asynchronous Sequential Circuits
Hisashi SATO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/04/25
Vol. E79-A  No. 4 ; pp. 513-519
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
multiple-valued logical functioncompletenessasynchronous sequential circuit
 Summary | Full Text:PDF

On a Class of Multiple-Valued Logic Functions with Truncated Sum, Differential Product and Not Operations
Yutaka HATA Kazuharu YAMATO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1994/05/25
Vol. E77-D  No. 5 ; pp. 567-573
Type of Manuscript:  PAPER
Category: Computer Hardware and Design
Keyword: 
computer hardware and designmultiple-valued logictruncated sumcompletenessnumber of the logic functions
 Summary | Full Text:PDF