Keyword : narrowing


A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model
Susumu YAMASAKI Kazunori IRIYA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/10/25
Vol. E82-D  No. 10 ; pp. 1303-1315
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
SLDNF resolution with infinite failurenarrowingwell-founded model
 Summary | Full Text:PDF

Sequence Domains and Fixpoint Semantics for Logic Programs
Susumu YAMASAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/06/25
Vol. E79-D  No. 6 ; pp. 840-854
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
logic programfixpoint theorynarrowingsemanticsdomain theory
 Summary | Full Text:PDF

Bandgap Narrowing and Incomplete Ionization Calculations for the Temperature Range from 40 K up to 400 K
Yevgeny V. MAMONTOV Magnus WILLANDER 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 1994/02/25
Vol. E77-C  No. 2 ; pp. 287-297
Type of Manuscript:  PAPER
Category: Semiconductor Materials and Devices
Keyword: 
room-and low-temperature electronicssilicon phenomenabandgapnarrowingincomplete impurity ionizationmodelling and calculation
 Summary | Full Text:PDF