cam a22 4500 215991338 CHVBK 20201209093237.0 941003s1994 gw |||||||||| 10 |eng d 3-540-58233-9 (Berlin) 0-387-58233-9 (New York) (RERO)1915601 RERO geucui s1in rero Higher-order algebra, logic, and term rewriting first international workshop : HOA'93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers Jan Heering... [et al.], (eds.) HOA'93 Berlin [etc.] Springer [1994] © 1994 344 p. fig. 25 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 816 Variante du titre: HOA'93 Algèbre (RERO)A021001026 rero Logique mathématique (RERO)A021013613 rero Réécriture, Systèmes de (informatique) (RERO)A021029944 rero Actes de congrès (RERO)A021105530 rero Heering Jan (RERO)A003357603 International Workshop on Higher-Order Albegra, Logic and Term Rewriting (1 1993 Amsterdam) (RERO)A012499918 Lecture notes in computer science 816 (RERO)000078255 BK020800 XK020000 XK020000 RERO RE61096 RE61096 RE610960003 CUIA 10883 F.4.0 HIG 1 RERO 490 1- Lecture notes in computer science 816 RERO 700 1- Heering Jan (RERO)A003357603 RERO 711 2- International Workshop on Higher-Order Albegra, Logic and Term Rewriting (1 1993 Amsterdam) (RERO)A012499918 RERO 830 -- Lecture notes in computer science 816 (RERO)000078255 SWISSBIB 134354680