| Record ID | marc_columbia/Columbia-extract-20221130-004.mrc:184463597:2693 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-004.mrc:184463597:2693?format=raw |
LEADER: 02693mam a22003738a 4500
001 1643316
005 20220608203513.0
008 950405t19951995gw 100 0 eng
010 $a 95015960
020 $a3540593403 (Berlin : acid-free paper)
020 $a0387593403 (New York : acid-free paper)
035 $a(OCoLC)ocm32391840
035 $9AKQ4386CU
035 $a(NNC)1643316
035 $a1643316
040 $aDLC$cDLC$dRRR$dOrLoB
050 00 $aQA75.5$b.F74 1993
082 00 $a005.13/1$220
111 2 $aFrench Spring School of Theoretical Computer Science$d(1993 :$cFont-Romeu, France)
245 10 $aTerm rewriting :$bFrench Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course /$cHubert Common, Jean-Pierre Jouannaud, eds.
260 $aBerlin ;$aNew York :$bSpringer Verlag,$c[1995], ©1995.
263 $a9504
300 $aviii, 221 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v909
505 0 $aIntroduction to Rewriting / Jean-Pierre Jouannaud -- 33 Examples of Termination / Nachum Dershowitz -- The Word Problem for Thue Rewriting Systems / Gerard Lallement -- Word Problem for Thue Systems with a Few Relations / Yuri Matiyasevich -- Some Extensions of Rewriting / Helene Kirchner -- Graph Rewriting: A Bibliographical Guide / Bruno Courcelle -- Formal Languages and Word-Rewriting / Geraud Senizergues -- Rewriting and Tree Automata / Max Dauchet -- On Efficient Reduction Algorithms for Some Trace Rewriting Systems / Michael Bertol and Volker Diekert -- Automatic Groups and String Rewriting / Robert H. Gilman -- A Survey of Symmetrized and Complete Group Presentations / Philippe Le Chenadec -- Normalized Rewriting - Application to Ground Completion and Standard Bases / Claude Marche -- Equationnal Reasoning with Two-Dimensional Diagrams / Yves Lafont -- Affine Geometry of Collinearity and Conditional Term Rewriting / Philippe Balbiani and Luis Farinas del Cerro.
505 8 $aBurnside Monoids, Word Problem and the Conjecture of Brzozowski / Jean-Francois Rey.
650 0 $aComputer science$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008101220
650 0 $aRewriting systems (Computer science)$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2010111020
700 1 $aComon, Hubert.$0http://id.loc.gov/authorities/names/n95033973
700 1 $aJouannaud, Jean-Pierre.$0http://id.loc.gov/authorities/names/n85126914
830 0 $aLecture notes in computer science ;$v909.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA75.5$i.F74 1993