EasyChair Smart SlideDocs/Log in
Author: Salvador Lucas

This page shows all presentations of this author published in EasyChair Smart Slide.

On Local Confluence of Conditional Rewriting

On Local Confluence of Conditional Rewriting

Salvador Lucas

Automatic Generation of Logical Models with AGES

Automatic Generation of Logical Models with AGES

Raúl Gutiérrez and Salvador Lucas

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair