Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "IWWERT"( http://dblp.L3S.de/Venues/IWWERT )

URL (DBLP): http://dblp.uni-trier.de/db/conf/iwwert

Publication years (Num. hits)
1990 (13) 1991 (12) 1992 (1) 1993 (1)
Publication types (Num. hits)
inproceedings(25) proceedings(2)
Venues (Conferences, Journals, ...)
IWWERT(27)
Authors
Franz Baader(3) Habib Abdulrab(3) Klaus U. Schulz(3) Alexander Bockmayr(2) G. S. Makanin(2) Peter Auer(2) A. G. Makanina(1) Akihiko Ohsuga(1) Antoni Koscielski(1) Celia Wrathall(1) Christian Choffrut(1) Denis Lugiez(1) Emmanuel Kounalis(1) Françoise Clérin-Debart(1) Gérard Plateau(1) Hachemi Bennaceur(1) More (+10 of total 26)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Habib Abdulrab, Jean-Pierre Pécuchet (eds.) Word Equations and Related Topics, Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991, Proceedings Search on Bibsonomy IWWERT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Klaus U. Schulz (eds.) Word Equations and Related Topics, First International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990, Proceedings Search on Bibsonomy IWWERT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Christian Choffrut Conjugacy in Free Inverse Monoids. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Emmanuel Kounalis, Denis Lugiez, Loic Pottier A Solution of the Complement Problem in Associative-Commutative Theories. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Peter Auer Unification in the Combination of Disjoint Theories. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Jean Néraud On the Subsets of Rank Two in a Free Monoid: A Fast Decision Algorithm. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Peter Auer Solving String Equations with Constant Restrictions. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Patrice Enjalbert, Françoise Clérin-Debart A Case of Termination for Associative Unification. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Patrick Dehornoy The Naming Problem for Left Distributivity. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Franz Baader, Klaus U. Schulz General A- and AX-Unification via Optimized. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Hachemi Bennaceur, Gérard Plateau Theorem Proving by Combinatorial Optimization. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1G. S. Makanin On General Solution of Equations in a Free Semigroup. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Witold Charatonik, Leszek Pacholski Word Equations with Two Variables. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Habib Abdulrab LOP: Toward a New Implementation of Makanin's Algorithm. Search on Bibsonomy IWWERT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1A. G. Makanina New System of Defining Relations of the Braid Group. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Habib Abdulrab Implementation of Makanin's Algorithm. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Alexander Bockmayr Algebraic and Logic Aspects of Unification. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Akihiko Ohsuga, Kô Sakai Complete Equational Unification Based on an Extension of the Knuth-Bendix Completion Procedure. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Franz Baader Unification in Varieties of Completely Regular Semigroups. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1G. S. Makanin Investigations on Equations in a Free Group. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Alexander Bockmayr Model-Theoretic Aspects of Unification. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Antoni Koscielski An Analysis of Makanin's Algorithm Deciding Solvability of Equations in Free Groups. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Ronald V. Book A Note on Confluent Thue Systems. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Celia Wrathall Confluence of One-Rule Thue Systems. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Juhani Karhumäki Systems of Equations over a Finite Set of Words and Automata Theory. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Klaus U. Schulz Makanin's Algorithm for Word Equations - Two Improvements and a Generalization. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Franz Baader Unification Theory. Search on Bibsonomy IWWERT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #27 of 27 (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