Keyword : partially ordered set


Control Problem of a Class of Pushdown Automata Based on Posets and Its Application to Resolution Deductions
Susumu YAMASAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/11/25
Vol. E78-D  No. 11 ; pp. 1488-1497
Type of Manuscript:  PAPER
Category: Automata, Languages and Theory of Computing
Keyword: 
infinite-state pushdown automatastack structurepartially ordered setresolution deduction
 Summary | Full Text:PDF