Difference between revisions of "Bibtex:Ohlebusch01"

From Termination-Portal.org
Jump to navigationJump to search
(New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @article{Ohlebusch01, AUTHOR = {E. Ohlebusch}, TITLE = {Termination of Logic Programs: Transformational Methods ...)
 
Line 5: Line 5:
 
   TITLE    = {Termination of Logic Programs: Transformational Methods Revisited},
 
   TITLE    = {Termination of Logic Programs: Transformational Methods Revisited},
 
   JOURNAL  = {Applicable Algebra in Engineering, Communication and Computation},
 
   JOURNAL  = {Applicable Algebra in Engineering, Communication and Computation},
  IN        = {svdlcjklnds},
 
 
   VOLUME    = {12},
 
   VOLUME    = {12},
 
   NUMBER    = {1--2},
 
   NUMBER    = {1--2},

Revision as of 21:10, 29 March 2008

E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited

, Heidelberg,2001
Bibtex
Author : E. Ohlebusch
Title : Termination of Logic Programs: Transformational Methods Revisited
In : -
Address : Heidelberg
Date : 2001