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}, | ||
| − | |||
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
- BibtexAuthor : E. Ohlebusch
Title : Termination of Logic Programs: Transformational Methods Revisited
In : -
Address : Heidelberg
Date : 2001
