ELAN from a rewriting logic point of view von Borovanský, Peter, Kirchner, Claude, Kirchner, Hélène, Moreau, Pierre-Etienne

Volltext

Implementation of higher-order unification based on calculus of explicit substitution von Borovanský, Peter

Volltext

Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN von Borovanský, Peter, Castro, Carlos

Volltext

Controlling Rewriting: study and implementation of a strategy formalism (Abstract) von Borovanský, Peter

Volltext

The use of a strategy language for solving search problems von Castro, Carlos, Borovanský, Peter

Volltext

A Simple Generic Library for C von Vittek, Marian, Borovansky, Peter, Moreau, Pierre-Etienne

Volltext

An Overview of ELAN von Borovanský, Peter, Kirchner, Claude, Kirchner, Hélène, Moreau, Pierre-Etienne, Ringeissen, Christophe

Volltext

Controlling Rewriting by Rewriting von Borovanský, Peter, Kirchner, Claude, Kirchner, Hélène

Volltext

ELAN: A logical framework based on computational systems von Borovanský, Peter, Kirchner, Claude, Kirchner, Hélène, Moreau, Pierre-Etienne, Vittek, Marian

Volltext

ELAN from a rewriting logic point of view: Rewriting logic and its applications von BOROVANSKY, Peter, KIRCHNER, Claude, KIRCHNER, Hélène, MOREAU, Pierre-Etienne

Volltext

Handling ELAN rewrite programs via an exchange format von Borovanský, Peter, Jamoussi, Salma, Moreau, Pierre-Etienne, Ringeissen, Christophe

Volltext

ELAN von Borovanský, Peter, Kirchner, Claude, Kirchner, Hélène, Moreau, Pierre-Etienne, Vittek, Marian

Volltext

The on-line support for mathematics teaching based on Hejný pedagogical approach von Mot'ovska, D., Borovansky, P., Kamrlova, B.

Volltext bestellen