| Record ID | marc_loc_updates/v36.i10.records.utf8:6919150:1409 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:6919150:1409?format=raw |
LEADER: 01409cam a2200301 a 4500
001 95039593
003 DLC
005 20080307104438.0
008 950822s1995 ge a b 101 0 eng
010 $a 95039593
020 $a3540603816 (softcover : alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA267$b.I5783 1994
082 00 $a005.13/1$220
111 2 $aInternational Workshop on Conditional (and Typed) Rewriting Systems$n(4th :$d1994 :$cJerusalem)
245 10 $aConditional and typed rewriting systems :$b4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /$cNachum Dershowitz, Naomi Lindenstrauss (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc1995.
300 $aviii, 373 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v968
500 $aHeld in conjunction with the Twenty-first Colloquium on Automata, Language, and Programming (ICALP'94).
504 $aIncludes bibliographical references and index.
650 0 $aRewriting systems (Computer science)$xCongresses.
650 0 $aComputer programming$xCongresses.
650 0 $aAlgorithms$xCongresses.
700 1 $aDershowitz, Nachum.
700 1 $aLindenstrauss, Naomi.
711 2 $aInternational Colloquium on Automata, Languages, and Programming$n(21st :$d1994 :$cJerusalem)
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/95039593-d.html