Difference between revisions of "Bibtex:Ohlebusch01"
From Termination-Portal.org
Jump to navigationJump to search| (4 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | [[Category:Bibtex]] | + | [[Category:Bibtex| ]] |
| − | [[Category:BibtexNews]] <!-- remove this line if this is not a new publication --> | + | [[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --> |
== BibTex == | == BibTex == | ||
| + | <!-- Please add the BibTeX data below this comment. --> | ||
<bibtex> | <bibtex> | ||
| − | |||
@article{Ohlebusch01, | @article{Ohlebusch01, | ||
AUTHOR = {E. Ohlebusch}, | AUTHOR = {E. Ohlebusch}, | ||
| Line 14: | Line 14: | ||
PUBLISHER = {Springer}, | PUBLISHER = {Springer}, | ||
ADDRESS = {Heidelberg}, | ADDRESS = {Heidelberg}, | ||
| − | </bibtex> | + | </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --> |
| − | <!-- If you want to add some additional information to the reference page, you can do so after this comment. --> | ||
Latest revision as of 18:43, 31 March 2008
BibTex
E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited
- Applicable Algebra in Engineering, Communication and Computation 12(1--2):73--116, Heidelberg,2001
- BibtexAuthor : E. Ohlebusch
Title : Termination of Logic Programs: Transformational Methods Revisited
In : Applicable Algebra in Engineering, Communication and Computation -
Address : Heidelberg
Date : 2001
