Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Francesco Ciraulo" ( http://dblp.L3S.de/Authors/Francesco_Ciraulo )

  Author page on DBLP  Author page in RDF  Community of Francesco Ciraulo in ASPL-2

Publication years (Num. hits)
2007 (1) 2008 (2) 2012 (1)
Publication types (Num. hits)
article(3) inproceedings(1)
Venues (Conferences, Journals, ...)
Ann. Pure Appl. Logic(1) Math. Log. Q.(1) Theor. Comput. Sci.(1) TYPES(1)
Authors
Francesco Ciraulo(4) Giovanni Sambin(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Francesco Ciraulo A constructive investigation of satisfiability. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francesco Ciraulo A constructive semantics for non-deducibility. Search on Bibsonomy Math. Log. Q. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Ciraulo, Giovanni Sambin Finitary formal topologies and Stone's representation theorem. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Ciraulo, Giovanni Sambin Finiteness in a Minimalist Foundation. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF minimalist foundation, finite subsets, type theory, constructive mathematics, finite sets
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.