Le Matematiche  

Angelo Marcello Anile, Alfredo Ferro

A series of seminars organized by the Department of Mathematics of the University of Catania and by Consorzio Catania Ricerche in order to promote the interaction between the mathematical community of Catania's University and some representatives of both ... see more

Klaus Nökel, Michael M. Richter

We will not be concerned with hardware aspects but we will discuss the present state of methodological concepts and software tools. Our main examples stem from the research activities at the Computer Science Department of the University of Kaiserslautern.

Attilio Agodi

Some remarks on the problem of knowledge representation and processing, as recognized in connection with the use of computers in the scientific research work, emphasizes the relevance of these problems for the studies on both the theory of languages and t... see more

Philippe Facon, Yo Keller

Set constructs and notations provide in many areas an unprecedented expressive power. Sets are nevertheless almost non-existent in most programming languages since they don't have a general-purpose efficient enough representation. Only global transformati... see more

D. Aliffi, D. Montanari, E. G. Omodeo, M. Pellegrini

This paper describes a SETL interpreter written in SETL. This module may be reused as a basis to build debuggers, type checkers, symbolic executers, tracers, and many other general purpose programming tools. Other more advanced uses include experimenting ... see more

Cristina Ruggieri

This paper introduces a software programming environment for an extended Prolog language, called ALPES. The purpose of ALPES is to enable a logic programming paradigm to become a software engineering tool to design, develop and prototype traditional softw... see more

Domenico Cantone

This paper surveys various decidability results in the set theory. In the first part, we focus on certain classes of unquantified set-theoretic formulae involving the relations ? “membership”, = “equality”, and the operators ? “intersection”, ? “binary un... see more

Alfredo Ferro, Giovanni Gallo

A survey of the main procedures for automatic theorem proving in geometry is presented.

Vincenzo Cutello

Two approaches to theorem proving in Topology are described and some research problems in the field are given.

Ron Sigal

Logic programming is now firmly established as an alternative programming paradigm, distinct and arguably superior to the still dominant imperative style of, for instance, the Algol family of languages. The concept of a logic programming language is not p... see more

Alfredo Ferro, Giuseppe Sorace, Jacob T. Schwartz

A general mechanism to extend decision algorithms to deal with additional predicates is described. The only conditions imposed on the predicates is stability with respect to some transitive relations.

Domenico Cantone, Vincenzo Cutello, Alberto Policriti

A general mechanism to extend decision algorithms to deal with additional predicates is described. The only conditions imposed on the predicates is stability with respect to some transitive relations.