Rewriting techniques and applications /

Bibliographic Details
Corporate Author:	International Conference on Rewriting Techniques and Applications Sitges, Spain
Other Authors:	Comon, Hubert (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1997.
Series:	Lecture notes in computer science ; v. 1232 LNCS ; v. 1232
Subjects:	Lógica matemática. Lenguajes formales. Mathematical logic. Formal languages. Deduction and theorem proving. Deducción y prueba de teoremas. Lenguajes de programación. Programming languages. Semántica de lenguajes de programación Semantics of programming languages Manipulación algebraica Algebraic manipulation Automatic programming Programación automática

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908123244.0
008	110630s1997 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540629505
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a International Conference on Rewriting Techniques and Applications \|n (8º : \|d 1997 : \|c Sitges, Spain)
245	1	0	\|a Rewriting techniques and applications / \|c edited by Hubert Comon.
260			\|a Berlin : \|b Springer, \|c 1997.
300			\|a xi, 338 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1232
490	0		\|a LNCS ; \|v v. 1232
650		4	\|a Lógica matemática.
650		4	\|a Lenguajes formales.
650		4	\|a Mathematical logic.
650		4	\|a Formal languages.
650		4	\|a Deduction and theorem proving.
650		4	\|a Deducción y prueba de teoremas.
650		4	\|a Lenguajes de programación.
650		4	\|a Programming languages.
650		4	\|a Semántica de lenguajes de programación
650		4	\|a Semantics of programming languages
650		4	\|a Manipulación algebraica
650		4	\|a Algebraic manipulation
650		4	\|a Automatic programming
650		4	\|a Programación automática
700	1		\|9 3410 \|a Comon, Hubert, \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-06-30
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1232_000000000000000 \|7 0 \|9 10357 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1232 \|p 14866 \|r 2013-08-23 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8096 \|d 8096