01511nam2-2200409li-450 99000021009020331620180312154801.03-540-64694-90021009USA010021009(ALEPH)000021009USA01002100920001109d1998----km-y0itay0103----baengGWAutomata implementation2nd. International workshop on Implementing automata, WIA'97 London, Ontario, Canada September 18-20, 1997revisited papersDerick Wood...[et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1998VIII, 251 p.ill.24 cmLecture notes in computer science143600100202642001Lecture notes in computer sciencecongressilondra1997teoria delle macchinecongressi19975113Logica simbolica (Logica matematica)Wood,DerickInternational workshop on implementing automata WIA'972.Londra1997753242Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210090203316001 LNCS (1436)002264000100104150BKSCI1998122820001110USA011714ALANDI9020010206USA01164220020403USA011629PATRY9020040406USA011615Automata implementation1515178UNISA