Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Hypersets with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1993-2015 (13)
Publication types (Num. hits)
article(5) inproceedings(7) phdthesis(1)
Venues (Conferences, Journals, ...)
Ann. Math. Artif. Intell.(1) Appl. Algebra Eng. Commun. Com...(1) Arch. Math. Log.(1) Biosyst.(1) CAAP(1) CILC(1) DISCO(1) Fundam. Informaticae(1) GULP-PRODE (1)(1) Hypertext(1) LACL(1) MFCS(1)
Authors
Alberto Policriti(5) Eugenio G. Omodeo(4) Agostino Dovier(2) Marina Lenisa(2) Alexandru I. Tomescu(1) Anthony Chemero(1) Daniela Cancila(1) Furio Honsell(1) Gianfranco Rossi(1) Giovanna D'Agostino(1) H. Van Dyke Parunak(1) Joel Ratsaby(1) Michael Forti(1) Michael T. Turvey(1) Norihiro Ogata(1) Toru Tsujishita(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
49Joel Ratsaby On the complexity of binary samples. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 06E30, 03C13, 68Q25, 68R05, 68Q32
36Giovanna D'Agostino, Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu Mapping Sets and Hypersets into Numbers. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Alberto Policriti Encodings of Sets and Hypersets. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  BibTeX  RDF
36Anthony Chemero, Michael T. Turvey Autonomy and hypersets. Search on Bibsonomy Biosyst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Daniela Cancila Investigations in the categorical foundations and applications of coalgebras and hypersets. Search on Bibsonomy 2005   RDF
36Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi Solving Systems of Equations over Hypersets. Search on Bibsonomy GULP-PRODE (1) The full citation details ... 1994 DBLP  BibTeX  RDF
36H. Van Dyke Parunak Hypercubes Grow on Trees (and Other Observations from the Land of Hypersets). Search on Bibsonomy Hypertext The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Semantic unification, Hypersets, NP-completeness, Bisimulations, Set theory
25Toru Tsujishita Construction of universal modal worlds based on hyperset theory. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991): 03B45, 68T27
25Norihiro Ogata A Revision System of Circular Objects and Its Applications to Dynamic Semantics of Dialogues. Search on Bibsonomy LACL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Marina Lenisa Final Semantics for a Higher Order Concurrent Language. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction
25Michael Forti, Furio Honsell, Marina Lenisa Processes and Hyperuniverses. Search on Bibsonomy MFCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Eugenio G. Omodeo, Alberto Policriti Decision Procedures for Set/Hyperset Contexts. Search on Bibsonomy DISCO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license