Cristiano Longo

Available identifiers

zbMath Open longo.cristianoMaRDI QIDQ477205

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4986517	2021-04-27	Paper
Herbrand-satisfiability of a Quantified Set-theoretic Fragment*	2017-11-10	Paper
Web ontology representation and reasoning via fragments of set theory	2017-06-26	Paper
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions	2014-12-02	Paper
A decidable quantified fragment of set theory involving ordered pairs with applications to description logics	2012-09-18	Paper

Research outcomes over time

This page was built for person: Cristiano Longo