LEADER 04467nam  22006735  450 
001 996465641503316
005 20200705035032.0
010   $a3-540-46737-8
024 7 $a10.1007/3-540-55124-7
035   $a(CKB)1000000000233775
035   $a(SSID)ssj0000327649
035   $a(PQKBManifestationID)11912792
035   $a(PQKBTitleCode)TC0000327649
035   $a(PQKBWorkID)10301577
035   $a(PQKB)11424323
035   $a(DE-He213)978-3-540-46737-3
035   $a(PPN)155172840
035   $a(EXLCZ)991000000000233775
100   $a20121227d1992      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aWord Equations and Related Topics$b[electronic resource] $e1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings /$fedited by Klaus U. Schulz
205   $a1st ed. 1992.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992.
215   $a1 online resource (VIII, 264 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v572
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-55124-7 
327   $aInvestigations on equations in a free group -- An analysis of Makanin's algorithm deciding solvability of equations in free groups -- Implementation of Makanin's Algorithm -- Makanin's algorithm for word equations-two improvements and a generalization -- Unification theory -- Algebraic and logical aspects of unification -- Model-theoretic aspects of unification -- Complete equational unification based on an extension of the Knuth-Bendix completion procedure -- Unification in varieties of completely regular semigroups -- A note on confluent Thue systems -- Confluence of one-rule Thue systems -- Systems of equations over a finite set of words and automata theory -- New systems of defining relations of the braid group.
330   $aThis volume contains papers presented at the first international workshop onword equations and related topics held at the University of T}bingen in October 1990. Word equations, the central topic of this annual workshop, lieat the intersection of several important areas of computer science, suchas unification theory, combinatorics on words, list processing, and constraint logic programming. The workshop is a forum where researchers fromthese different domains may present and discuss results and ideas, thereby supporting interaction and cross-fertilization between theoretical questions and practical applications. The volume collects papers which: - contain new and relevant results, - describe a new approach to a subject, or - give a survey of main developments in an area. Papers cover investigations on free groups, associative unification and Makanin's algorithm to decide the solvability of equations in free semigroups, general unification theory and its relationship to algebra and model theory, Thue systems, and finitely presented groups.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v572
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputers
606   $aData structures (Computer science)
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputers.
615  0$aData structures (Computer science).
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Foundations.
615 24$aTheory of Computation.
615 24$aMathematical Logic and Formal Languages.
615 24$aData Structures.
676   $a006.3/5
702   $aSchulz$b Klaus U$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aIWWERT '90
906   $aBOOK
912   $a996465641503316
996   $aWord Equations and Related Topics$92829821
997   $aUNISA