Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Applicable Algebra in Engineering, Communication and Computing

Issue 1-2/2001

Content (7 Articles)

Editorial

Special Issue “Termination”

Jürgen Giesl, Pierre Lescanne

The Termination Hierarchy for Term Rewriting

H. Zantema

Termination Proofs for Ground Rewrite Systems – Interpretations and Derivational Complexity

Dieter Hofbauer

Verification of Erlang Processes by Dependency Pairs

Jürgen Giesl, Thomas Arts

Termination of Logic Programs: Transformational Methods Revisited

Enno Ohlebusch

A General Framework for Automatic Termination Analysis of Logic Programs

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism

Sofie Verbaeten, Danny De Schreye

May 01
Issue: 6/2001
Jul 01
Issue: 3/2001

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits