Sage Journals: Discover world-class research

Retricted access

Other

First published 2002-5

Transformation Rules and Strategies for Functional‐Logic Programs

Ginés Moreno

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1997-2

A METHODOLOGY FOR CONSTRUCTING LOGIC PROGRAMS

Francis Alexandre, Khaled Bsaïes

Fundamenta Informaticae

Retricted access

Research article

First published 2006-1

A Multiple-Clause Folding Rule Using Instantiation and Generalization

David A. Rosenblueth

Fundamenta Informaticae

Retricted access

Research article

First published 2011-2

Program transformation for development,verification,and synthesis of programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2005-7

Infinite Unfolding and Transformations of Nondeterministic Programs

Bjórn Lisper

Fundamenta Informaticae

Retricted access

Research article

First published 2013-9

Proving Theorems by Program Transformation

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2013-8

Controlling Polyvariance for Specialization-based Verification

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1993

An Abstract Strategy for Transforming Logic Programs 1

Maurizio Proietti, Alberto Pettorossi

Fundamenta Informaticae

Search results