Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/iwwert:"
download as .bib file
@proceedings{DBLP:conf/iwwert/1991,
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56730-5},
doi = {10.1007/3-540-56730-5},
isbn = {3-540-56730-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwwert/1990,
editor = {Klaus U. Schulz},
title = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55124-7},
doi = {10.1007/3-540-55124-7},
isbn = {3-540-55124-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Abdulrab91,
author = {Habib Abdulrab},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {{LOP:} Toward a New Implementation of Makanin's Algorithm},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {133--176},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_35},
doi = {10.1007/3-540-56730-5\_35},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Abdulrab91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Auer91,
author = {Peter Auer},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {Solving String Equations with Constant Restrictions},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {103--132},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_34},
doi = {10.1007/3-540-56730-5\_34},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Auer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Auer91a,
author = {Peter Auer},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {Unification in the Combination of Disjoint Theories},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {177--186},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_37},
doi = {10.1007/3-540-56730-5\_37},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Auer91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/BaaderS91,
author = {Franz Baader and
Klaus U. Schulz},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {General {A-} and AX-Unification via Optimized},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {23--42},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_29},
doi = {10.1007/3-540-56730-5\_29},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/BaaderS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/BennaceurP91,
author = {Hachemi Bennaceur and
G{\'{e}}rard Plateau},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {Theorem Proving by Combinatorial Optimization},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {90--102},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_33},
doi = {10.1007/3-540-56730-5\_33},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/BennaceurP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/CharatonikP91,
author = {Witold Charatonik and
Leszek Pacholski},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {Word Equations with Two Variables},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {43--56},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_30},
doi = {10.1007/3-540-56730-5\_30},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/CharatonikP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Choffrut91,
author = {Christian Choffrut},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {Conjugacy in Free Inverse Monoids},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {6--22},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_28},
doi = {10.1007/3-540-56730-5\_28},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Choffrut91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Dehornoy91,
author = {Patrick Dehornoy},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {The Naming Problem for Left Distributivity},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {57--78},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_31},
doi = {10.1007/3-540-56730-5\_31},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Dehornoy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/EnjalbertC91,
author = {Patrice Enjalbert and
Fran{\c{c}}oise Cl{\'{e}}rin{-}Debart},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {A Case of Termination for Associative Unification},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {79--89},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_32},
doi = {10.1007/3-540-56730-5\_32},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/EnjalbertC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/KounalisLP91,
author = {Emmanuel Kounalis and
Denis Lugiez and
Loic Pottier},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {A Solution of the Complement Problem in Associative-Commutative Theories},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {197--214},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_39},
doi = {10.1007/3-540-56730-5\_39},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/KounalisLP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Makanin91,
author = {G. S. Makanin},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {On General Solution of Equations in a Free Semigroup},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {1--5},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_27},
doi = {10.1007/3-540-56730-5\_27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Makanin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Neraud91,
author = {Jean N{\'{e}}raud},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {On the Subsets of Rank Two in a Free Monoid: {A} Fast Decision Algorithm},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {187--196},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_38},
doi = {10.1007/3-540-56730-5\_38},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwwert/Neraud91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Abdulrab90,
author = {Habib Abdulrab},
editor = {Klaus U. Schulz},
title = {Implementation of Makanin's Algorithm},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {61--84},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_3},
doi = {10.1007/3-540-55124-7\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Abdulrab90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Baader90,
author = {Franz Baader},
editor = {Klaus U. Schulz},
title = {Unification Theory},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {151--170},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_5},
doi = {10.1007/3-540-55124-7\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Baader90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Baader90a,
author = {Franz Baader},
editor = {Klaus U. Schulz},
title = {Unification in Varieties of Completely Regular Semigroups},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {210--230},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_9},
doi = {10.1007/3-540-55124-7\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Baader90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Bockmayr90,
author = {Alexander Bockmayr},
editor = {Klaus U. Schulz},
title = {Algebraic and Logic Aspects of Unification},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {171--180},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_6},
doi = {10.1007/3-540-55124-7\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwwert/Bockmayr90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Bockmayr90a,
author = {Alexander Bockmayr},
editor = {Klaus U. Schulz},
title = {Model-Theoretic Aspects of Unification},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {181--196},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_7},
doi = {10.1007/3-540-55124-7\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwwert/Bockmayr90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Book90,
author = {Ronald V. Book},
editor = {Klaus U. Schulz},
title = {A Note on Confluent Thue Systems},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {231--236},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_10},
doi = {10.1007/3-540-55124-7\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Book90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Karhumaki90,
author = {Juhani Karhum{\"{a}}ki},
editor = {Klaus U. Schulz},
title = {Systems of Equations over a Finite Set of Words and Automata Theory},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {247--249},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_12},
doi = {10.1007/3-540-55124-7\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Karhumaki90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Koscielski90,
author = {Antoni Koscielski},
editor = {Klaus U. Schulz},
title = {An Analysis of Makanin's Algorithm Deciding Solvability of Equations
in Free Groups},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {12--60},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_2},
doi = {10.1007/3-540-55124-7\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Koscielski90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Makanin90,
author = {G. S. Makanin},
editor = {Klaus U. Schulz},
title = {Investigations on Equations in a Free Group},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {1--11},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_1},
doi = {10.1007/3-540-55124-7\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Makanin90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Makanina90,
author = {A. G. Makanina},
editor = {Klaus U. Schulz},
title = {New System of Defining Relations of the Braid Group},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {250--256},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_13},
doi = {10.1007/3-540-55124-7\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Makanina90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/OhsugaS90,
author = {Akihiko Ohsuga and
K{\^{o}} Sakai},
editor = {Klaus U. Schulz},
title = {Complete Equational Unification Based on an Extension of the Knuth-Bendix
Completion Procedure},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {197--209},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_8},
doi = {10.1007/3-540-55124-7\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/OhsugaS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Schulz90,
author = {Klaus U. Schulz},
editor = {Klaus U. Schulz},
title = {Makanin's Algorithm for Word Equations - Two Improvements and a Generalization},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {85--150},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_4},
doi = {10.1007/3-540-55124-7\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Schulz90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/Wrathall90,
author = {Celia Wrathall},
editor = {Klaus U. Schulz},
title = {Confluence of One-Rule Thue Systems},
booktitle = {Word Equations and Related Topics, First International Workshop, {IWWERT}
'90, T{\"{u}}bingen, Germany, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {572},
pages = {237--246},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-55124-7\_11},
doi = {10.1007/3-540-55124-7\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/Wrathall90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-03 07:27 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
