00972nam0-22003011i-450-9900010907004033213-540-17162-2000109070FED01000109070(Aleph)000109070FED0100010907020000920d1986----km-y0itay50------baengCategory Theory and Computer ProgrammingTutorial and Workshop, Guildford, U.K. September 16-20, 1985 ProceedingsEdited by David Pitt ... [et al.]Berlin [etc.]Springer-Verlag1986Lecture notes in computer science240Teoria della programmazione e utilizzazione dei computersSoftware510.78Pitt,David51908ITUNINARICAUNIMARCBK9900010907004033218B-21316323FI1FI1Category Theory and Computer Programming335728UNINAING0101063nam a2200301 i 450099100138480970753620020507192521.0970211s1989 us ||| | eng 0817634398b10840230-39ule_instLE01311466ExLDip.to Matematicaeng512AMS 08BQA251.M44Mckenzie, Ralph N.55715The structure of decidable locally finite varieties /R. Mckenzie, M. ValerioteBoston :Birkhauser,1989viii, 212 p. ;23 cmProgress in mathematics [Birkhauser],ISSN 0743-1643;79VarietiesValeriote, Matthew.b1084023023-02-1728-06-02991001384809707536LE013 08B MCK11 (1989)12013000075891le013-E0.00-l- 01010.i1095010228-06-02Structure of decidable locally finite varieties923868UNISALENTOle01301-01-97ma -engus 41