Systems of reductions /

Bibliographic Details
Main Author: Benninghofen, B. (Benjamin), 1958-
Other Authors: Kemmerich, S. (Susanne), 1953-, Richter, Michael M., 1938-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1987]
Series:Lecture notes in computer science ; 277.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a22000008a 4500
001 in00000010244
005 20151006080028.0
008 871026s1987 wb a b 00110 eng
010 |a  87028851  
020 |a 0387185984 (U.S.) 
035 |a (OCoLC)16982243 
035 |9 AAA2444AM 
040 |a DLC  |c DLC  |d TXA  |d UtOrBLW 
049 |a TXAM  |c [A12618989] 
050 0 0 |a QA267  |b .B46 1987 
082 0 |a 511.3  |2 19 
100 1 |a Benninghofen, B.  |q (Benjamin),  |d 1958- 
245 1 0 |a Systems of reductions /  |c B. Benninghofen, S. Kemmerich, M.M. Richter. 
264 1 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c [1987] 
264 4 |c ©1987 
300 |a x, 263 pages :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Lecture notes in computer science ;  |v 277 
504 |a Bibliography: pages [256]-263. 
500 |a Includes index. 
650 0 |a Rewriting systems (Computer science) 
650 0 |a Algebra, Universal  |x Data processing. 
650 0 |a Algorithms. 
700 1 |a Kemmerich, S.  |q (Susanne),  |d 1953- 
700 1 |a Richter, Michael M.,  |d 1938- 
830 0 |a Lecture notes in computer science ;  |v 277. 
999 |a MARS 
999 f f |s 1160b23d-5661-316f-acf4-3bbce5e37465  |i e951cf32-825b-3cea-a7bb-a045bee9e1f5  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e QA267 .B46 1987  |h Library of Congress classification  |i unmediated -- volume  |m A14812618989 
998 f f |a QA267 .B46 1987  |t 0  |l Remote Storage