Education

Research

Publications

Teaching

Useful links

Department of Computer Science

University of Verona

The SPaCIoS project

The AVANTSSAR project

JAR Special Issue,

ARSPA-WITS'09,

and other Events

	Labelled Non-Classical Logics
	Labelled Deduction