sign in · help · news · about · deen

BibSonomy ::  publication ::

The blue social bookmark and publication sharing system.
entry of etnarosso:    
(0)
This publication has not been reviewed yet.
rating distribution
average user rating
?
The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.
(0.0 of 5.0 based on 0 reviews)

A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs

by: Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo
(2010) .
Citation format (all formats):

Resources (URL, PDF, PS...)

BibTeX record

Endnote record

a gripper