Search results for "hyperset"

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.	BNCOD	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.	Appl. Algebra Eng. Commun. Comput.	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.	GCC (2)	2003	DBLP DOI BibTeX RDF
33	Richard Molyneux	Hyperset Approach to Semi-structured Databases and the Experimental Implementation of the Query Language Delta	CoRR	2009	DBLP BibTeX RDF
33	Richard Molyneux	Hyperset approach to semi-structured databases and the experimental implementation of the query language Delta.		2009	RDF
33	Richard Molyneux, Vladimir Sazonov	Hyperset/Web-Like Databases and the Experimental Implementation of the Query Language Delta - Current State of Affairs.	ICSOFT (ISDM/EHST/DC)	2007	DBLP BibTeX RDF
33	Vladimir Sazonov	Querying Hyperset/Web-Like Databases.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
33	Davide Aliffi, Agostino Dovier, Gianfranco Rossi	From Set to Hyperset Unification	J. Funct. Log. Program.	1999	DBLP BibTeX RDF
33	Toru Tsujishita	Construction of universal modal worlds based on hyperset theory.	Arch. Math. Log.	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.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
33	Eugenio G. Omodeo	Solvable set/hyperset context.	JFPLC	1995	DBLP BibTeX RDF
33	Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo	Unification of Hyperset Terms.	ICLP Workshop on Logic Programming with Sets	1993	DBLP BibTeX RDF
33	Eugenio G. Omodeo, Alberto Policriti	Decision Procedures for Set/Hyperset Contexts.	DISCO	1993	DBLP DOI BibTeX RDF
33	Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo	Decidability results for sets with atoms.	ACM Trans. Comput. Log.	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.	CAAP	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.	IJCNN	2006	DBLP DOI BibTeX RDF
25	Alexandre Miquel	A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory.	CSL	2003	DBLP DOI BibTeX RDF
25	Norihiro Ogata	Formal Semantics of Acknowledgements, Agreements and Disagreements.	PRIMA	1999	DBLP DOI BibTeX RDF