| Record ID | marc_columbia/Columbia-extract-20221130-009.mrc:151714506:1645 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-009.mrc:151714506:1645?format=raw |
LEADER: 01645cam a2200289Ka 4500
001 4116021
005 20221027040845.0
008 030613t20032003nyua b 001 0 eng d
020 $a1590336453
035 $a(OCoLC)ocm52425437
035 $a(NNC)4116021
035 $a4116021
040 $aGZM$cGZM$dHKP$dOrLoB-B
090 $aQA267$b.N42 2003
100 1 $aNedjah, Nadia.$0http://id.loc.gov/authorities/names/nb2003056125
245 10 $aImplementation of term rewriting-based programming languages /$cNadia Nedjah and Luiza de Macedo Mourelle.
260 $aNew York :$bNova Science Publishers,$c[2003], ©2003.
300 $axx, 135 pages :$billustrations ;$c26 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aAdvances in computation: theory and practice ;$vv. 13
504 $aIncludes bibliographical references (p. [127]-132) and index.
505 00 $tList of Lemmas, Theorems, Propositions, Corollaries and Algorithms -- $gCh. 1.$tTerm Rewriting -- $gCh. 2.$tTerminology and Notation -- $gCh. 3.$tRewriting Strategies -- $gCh. 4.$tA Rewriting Machine -- $gCh. 5.$tImprovements Based on Right-Hand Sides -- $gCh. 6.$tOptimal Left-to-Right Matching Automata -- $gCh. 7.$tAdaptive Traversal Orders -- $gCh. 8.$tConclusions and Advanced Topics.
650 0 $aRewriting systems (Computer science)$0http://id.loc.gov/authorities/subjects/sh87003035
700 1 $aMacedo Mourelle, Luiza de.$0http://id.loc.gov/authorities/names/nb2003056126
830 0 $aAdvances in the theory of computational mathematics ;$vv. 13.$0http://id.loc.gov/authorities/names/n2001009290
852 00 $boff,eng$hQA267$i.N42 2003g