Atlas home || Conferences | Abstracts | about Atlas

Algebraic and Topological Methods in Non-Classical Logics II
June 15-18, 2005
University of Barcelona
Barcelona, Spain

Organizers
Josep Maria Font (chair), Àngel Gil, José Gil, Joan Gispert, Carles Noguera, Antoni Torrens, Ventura Verdú

View Abstracts
Conference Homepage

Computing coproducts of finitely presented Goedel algebras
by
Vincenzo Marra
Dipartimento di Informatica e Comunicazione, Universita' degli Studi di Milano, via Comelico 39-41, 20100 Milan, Italy
Coauthors: Ottavio M. D'Antona (Universita' degli Studi di Milano, Italy).

page 1

PDF

Date received: March 28, 2005

Copyright © 2005 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # capu-56.