Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase critical pair completion (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-2009 (13)
Publication types (Num. hits)
article(4) inproceedings(9)
Venues (Conferences, Journals, ...)
J. Symb. Comput.(2) RTA(2) ADT(1) CSL(1) CTRS(1) Foundations of Computational M...(1) ICALP(1) ISSAC(1) Logic and Machines(1) WISE(1) World Wide Web(1)
Authors
Bruno Buchberger(3) Bernhard Thalheim(2) Karel Stokkermans(2) Klaus-Dieter Schewe(2) A. C. Norman(1) Ashish Tiwari(1) Elizabeth L. Mansfield(1) Horst Reichel(1) Jan Willem Klop(1) Michio Oyamaguchi(1) Qing Wang(1) Yoshikatsu Ohta(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
2Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang Customising Web Information Systems According to User Preferences. Search on Bibsonomy World Wide Web The full citation details ... 2009 DBLP  DOI  BibTeX  RDF critical pair completion, media type, deontic constraint, preference rule, termination, term rewriting, personalisation, web information system, Church-Rosser property, Kleene algebra with tests
2A. C. Norman A Critical-Pair/Completion Based Integration Algorithm. Search on Bibsonomy ISSAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF REDUCE
1Klaus-Dieter Schewe, Bernhard Thalheim Term Rewriting for Web Information Systems - Termination and Church-Rosser Property. Search on Bibsonomy WISE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ashish Tiwari An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints. Search on Bibsonomy CSL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Elizabeth L. Mansfield Algorithms for Symmetric Differential Systems. Search on Bibsonomy Foundations of Computational Mathematics The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Karel Stokkermans A Categorical Critical-pair Completion Algorithm. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michio Oyamaguchi, Yoshikatsu Ohta A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Karel Stokkermans A Categorical Formulation for Critical-Pair/Completion Procedures. Search on Bibsonomy CTRS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Horst Reichel A Two-Category Approach to Critical Pair Completion. Search on Bibsonomy ADT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Jan Willem Klop Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond. Search on Bibsonomy ICALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger History and Basic Features of the Critical-Pair/Completion Procedure. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger Basic Features and Development of the Critical-Pair/Completion Procedure. Search on Bibsonomy RTA The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Bruno Buchberger A critical-pair/completion algorithm for finitely generated ideals in rings. Search on Bibsonomy Logic and Machines The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.