|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Richard Molyneux, Vladimir Sazonov |
Hyperset Approach to Semi-structured Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Dataspace: The Final Frontier, 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings, pp. 78-90, 2009, Springer, 978-3-642-02842-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti |
Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 9(4), pp. 293-332, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Semantic unification, Hypersets, NP-completeness, Bisimulations, Set theory |
49 | Wan-Chun Dou, Juan Sun, Da-Gang Yang, Shijie Cai |
Data and Interaction Oriented Workflow Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (2) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, pp. 1042-1045, 2003, Springer, 3-540-21993-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Richard Molyneux |
Hyperset Approach to Semi-structured Databases and the Experimental Implementation of the Query Language Delta ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0902.2504, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
33 | Richard Molyneux |
Hyperset approach to semi-structured databases and the experimental implementation of the query language Delta. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
33 | Richard Molyneux, Vladimir Sazonov |
Hyperset/Web-Like Databases and the Experimental Implementation of the Query Language Delta - Current State of Affairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (ISDM/EHST/DC) ![In: ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume ISDM/EHST/DC, Barcelona, Spain, July 22-25, 2007, pp. 29-37, 2007, INSTICC Press, 978-989-8111-07-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
33 | Vladimir Sazonov |
Querying Hyperset/Web-Like Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(5), pp. 785-814, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Davide Aliffi, Agostino Dovier, Gianfranco Rossi |
From Set to Hyperset Unification ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Log. Program. ![In: J. Funct. Log. Program. 1999(10), 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
33 | Toru Tsujishita |
Construction of universal modal worlds based on hyperset theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 38(1), pp. 1-18, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (1991): 03B45, 68T27 |
33 | Alexei Lisitsa 0001, Vladimir Yu. Sazonov |
Bounded Hyperset Theory and Web-like Data Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kurt Gödel Colloquium ![In: Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings, pp. 172-185, 1997, Springer, 3-540-63385-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Eugenio G. Omodeo |
Solvable set/hyperset context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: JFPLC'95, IVèmes Journées Francophones de Programmation en Logique & Journée d'étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France, pp. 429, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
33 | Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo |
Unification of Hyperset Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Logic Programming with Sets ![In: Workshop on Logic Programming with Sets, in conjunction with ICLP 1993, Budapest, Hungary, June 24, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
33 | Eugenio G. Omodeo, Alberto Policriti |
Decision Procedures for Set/Hyperset Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings, pp. 192-215, 1993, Springer, 3-540-57235-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(2), pp. 269-301, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem |
33 | Marina Lenisa |
Final Semantics for a Higher Order Concurrent Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings, pp. 102-118, 1996, Springer, 3-540-61064-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction |
25 | Krishna P. Miyapuram, Raju S. Bapi, Chandrasekhar V. S. Pammi, Ahmed, Kenji Doya |
Hierarchical Chunking during Learning of Visuomotor Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2006, part of the IEEE World Congress on Computational Intelligence, WCCI 2006, Vancouver, BC, Canada, 16-21 July 2006, pp. 249-253, 2006, IEEE, 0-7803-9490-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Alexandre Miquel |
A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 441-454, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Norihiro Ogata |
Formal Semantics of Acknowledgements, Agreements and Disagreements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Approaches to Intelligent Agents, Second Pacific Rim International Workshop on Multi-Agents, PRIMA '99, Kyoto, Japan, December 2-3, 1999, Proceedings, pp. 32-46, 1999, Springer, 3-540-66823-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|