I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Logic programs, well-orderings and forward chaining:

Marek, V.W. ; Nerode, A. ; Remmel, J.B.
Annals of Pure and Applied Logic.  96 (1999)  1-3 - p. 231-276 , 1999
Link: https://doi.org/10.1016/s0168-0072(98)00041-4