Notations for Rewting.

Nachum Dershowitz Jean-Pierre Jouannaud

Published in: Bull. EATCS (1991)

Keyphrases

levels of abstraction
modeling language
database
database systems
cooperative
multi agent systems
open source
description logics
data driven
unified modeling language