sign in · help · news · about ·

BibSonomy :: user :: etnarosso ::

tag user group author concept BibTeX key search:all search:etnarosso

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(1)

<< < 1 > >>

A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs
Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo (2010)
to Cartesian-product Decision-procedures ExpTime-hardness NP-completeness maps multi-level-syllogistics by etnarosso on Jul 11, 2010, 7:49 PM
URL | BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper