skip to content
Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings Preview this item
ClosePreview this item
Checking...

Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings

Author: Habib Abdulrab; Jean-Pierre Pécuchet
Publisher: Berlin ; New York : Springer-Verlag, ©1993.
Series: Lecture notes in computer science, 677.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

Presents papers from the second International Workshop on Word Equations and Related Topics (IWWERT '91). The papers cover the following topics: general solution of word equations, conjugacy in free  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Print Version:
IWWERT '91 (1991 : Rouen, France).
Word equations and related topics.
Berlin ; New York : Springer-Verlag, ©1993
(DLC) 93029000
(OCoLC)28513468
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Habib Abdulrab; Jean-Pierre Pécuchet
ISBN: 9783540476368 3540476369
OCLC Number: 321350142
Description: 1 online resource (214 pages) : illustrations.
Contents: On general solution of equations in a free semigroup.- Conjugacy in free inverse monoids.- General A- and AX-unification via optimized combination procedures.- Word equations with two variables.- The naming problem for left distributivity.- A case of termination for associative unification.- Theorem proving by combinatorial optimization.- Solving string equations with constant restrictions.- LOP: Toward a new implementation of Makanin's Algorithm.- Word unification and transformation of generalized equations.- Unification in the combination of disjoint theories.- On the subsets of rank two in a free monoid: A fast decision algorithm.- A solution of the complement problem in associatiue-commutatiue theories.
Series Title: Lecture notes in computer science, 677.
Other Titles: IWWERT '91
Responsibility: Habib Abdulrab, Jean-Pierre Pécuchet (eds.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/321350142> # Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "321350142" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://dewey.info/class/006.35/e20/> ;
   schema:about <http://id.worldcat.org/fast/1034365> ; # Natural language processing (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/4160486106#Topic/group_theory> ; # Group theory
   schema:about <http://experiment.worldcat.org/entity/work/data/4160486106#Topic/natuurlijke_taalverwerking> ; # Natuurlijke-taalverwerking
   schema:about <http://id.worldcat.org/fast/948521> ; # Group theory
   schema:alternateName "IWWERT '91" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/31210148> ; # Jean-Pierre Pécuchet
   schema:contributor <http://viaf.org/viaf/40056642> ; # Habib Abdulrab
   schema:creator <http://experiment.worldcat.org/entity/work/data/4160486106#Meeting/iwwert_91_1991_rouen_france> ; # IWWERT '91 (1991 : Rouen, France)
   schema:datePublished "1993" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4160486106> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/28513468> ;
   schema:name "Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings"@en ;
   schema:productID "321350142" ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/3-540-56730-5> ;
   schema:url <http://link.springer.com/10.1007/3-540-56730-5> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-56730-1> ;
   schema:url <http://dx.doi.org/10.1007/3-540-56730-5> ;
   schema:workExample <http://worldcat.org/isbn/9783540476368> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/321350142> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4160486106#Topic/natuurlijke_taalverwerking> # Natuurlijke-taalverwerking
    a schema:Intangible ;
   schema:name "Natuurlijke-taalverwerking"@en ;
    .

<http://id.worldcat.org/fast/1034365> # Natural language processing (Computer science)
    a schema:Intangible ;
   schema:name "Natural language processing (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/948521> # Group theory
    a schema:Intangible ;
   schema:name "Group theory"@en ;
    .

<http://link.springer.com/10.1007/3-540-56730-5>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/31210148> # Jean-Pierre Pécuchet
    a schema:Person ;
   schema:familyName "Pécuchet" ;
   schema:givenName "Jean-Pierre" ;
   schema:name "Jean-Pierre Pécuchet" ;
    .

<http://viaf.org/viaf/40056642> # Habib Abdulrab
    a schema:Person ;
   schema:familyName "Abdulrab" ;
   schema:givenName "Habib" ;
   schema:name "Habib Abdulrab" ;
    .

<http://worldcat.org/isbn/9783540476368>
    a schema:ProductModel ;
   schema:isbn "3540476369" ;
   schema:isbn "9783540476368" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/321350142> ; # Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/28513468>
    a schema:CreativeWork ;
   rdfs:label "Word equations and related topics." ;
   schema:description "Print Version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/321350142> ; # Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/321350142>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/321350142> ; # Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.