The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase AC-Disunification (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-1997 (15) 2000-2019 (15)
Publication types (Num. hits)
article(9) inproceedings(20) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 18 keywords

Results
Found 30 publication records. Showing 30 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
166Wray L. Buntine, Hans-Jürgen Bürckert On Solving Equations and Disequations. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF E-disunification, E-unification equational theory, definite clause, solving equations and disequations, logic programming, inequations
145Franz Baader, Klaus U. Schulz Combination Techniques and Decision Problems for Disunification. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
143Hans-Jürgen Bürckert Solving Disequations in Equational Theories. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF E-unification, E-disunification, solving equations and disequations, Equational theories
127Agostino Dovier, Carla Piazza, Enrico Pontelli Disunification in ACI1 Theories. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF disunification, ACI, complexity, sets, equational theories, CLP
60Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
60Hubert Comon Unification et disunification : théorie et applications. (Unification and disunification in free algebras and in initial algebras : theory and applications). Search on Bibsonomy 1988   RDF
30Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran Asymmetric Unification and Disunification. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale On Solving Nominal Disunification Constraints. Search on Bibsonomy LSFA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
30Veena Ravishankar, Kimberly A. Gero, Paliath Narendran Asymmetric Unification and Disunification. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
30Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 Dismatching and Local Disunification in EL. Search on Bibsonomy RTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
30Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 Dismatching and Local Disunification in EL (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
30Franz Baader, Alexander Okhotin Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
30Matthias Horbach Disunification for Ultimately Periodic Interpretations. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
30Jorge Coelho 0001, Mário Florido, Temur Kutsia Sequence Disunification and Its Application in Collaborative Schema Construction. Search on Bibsonomy WISE Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Klaus U. Schulz Tractable and intractable instances of combination problems for unification and disunification. Search on Bibsonomy J. Log. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Miki Hermann, Phokion G. Kolaitis On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups. Search on Bibsonomy CP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
30Franz Baader, Klaus U. Schulz Combination Techniques and Decision Problems for Disunification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Denis Lugiez Positive and Negative Results for Higher-Order Disunification. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Denis Lugiez Higher Order Disunification: Some decidable cases. Search on Bibsonomy CCL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Maribel Fernández Narrowing Based Procedures for Equational Disunification. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
30Akihiko Takano Generalized Partial Computation using Disunification to Solve Constraints. Search on Bibsonomy CTRS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
30Hubert Comon Disunification: A Survey. Search on Bibsonomy Computational Logic - Essays in Honor of Alan Robinson The full citation details ... 1991 DBLP  BibTeX  RDF
30Hubert Comon, Pierre Lescanne Equational Problems and Disunification. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
28Emmanuel Kounalis, Denis Lugiez, Loic Pottier A Solution of the Complement Problem in Associative-Commutative Theories. Search on Bibsonomy MFCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF The Subsumption Lattice of First-Order terms, Associative and Commutative Reasoning, AC-Disunification, Pattern-Matching, Inductive Learning, Sufficient-Completeness
28Ricardo Caferra, Nicolas Zabel Extending Resolution for Model Construction. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Equational Problems, Disunification, Theorem Proving, Decision Procedures, Unification, Model Construction
23Santiago Escobar 0001, José Meseguer 0001, Ralf Sasse Effectively Checking the Finite Variant Property. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau Anti-pattern Matching. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Miguel García-Díaz, Susana Nieva Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF hereditary Harrop formulas, finite symbolic trees, first-order logic, real numbers, constraint systems
23Paliath Narendran, Michaël Rusinowitch The Theory of Total Unary RPO Is Decidable. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF recursive path ordering, ground reducibility, ordered rewriting, tree automata, first-order theory
23Mohamed Tajine The Negation Elimination from Syntactic Equational Formula is Decidable. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #30 of 30 (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