Record ID | marc_records_scriblio_net/part25.dat:20399852:1308 |
Source | Scriblio |
Download Link | /show-records/marc_records_scriblio_net/part25.dat:20399852:1308?format=raw |
LEADER: 01308cam 2200289 a 4500
001 95039593
003 DLC
005 19990716000000.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)