01515nam2-2200409li-450 99000020613020331620180312154739.03-540-63174-70020613USA010020613(ALEPH)000020613USA01002061320001109d1997----km-y0itay0103----baengGWAutomata implementationFirst international workshop on implementing automata, WIA'96London, Ontario, Canada, August 29-31, 1996revised papersDarrell Raymond ... [et al.] (eds.)BerlinSpringer-Verlagcopyr. 1997VIII, 188 p.ill.23 cmLecture notes in computer science126000100202642001Lecture notes in computer sciencecongressilondra (ontario)1996teoria delle macchinecongressi19975113Logica simbolica (Logica matematica)Raymond,DarrellInternational workshop on implementing automata1.Londra1996747233Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206130203316001 LNCS (1260)002044500100104021BKSCI1998070620001110USA011714ALANDI9020010202USA01142920020403USA011628PATRY9020040406USA011615Automata implementation1492533UNISA