Relations and Kleene Algebra in Computer Sciencede Renate A. SchmidtMateriasMathematicsCongressesAlgebraic logicComputer scienceEdiciones (1)Relations and Kleene Algebra in Computer Science (2006)Springer · inglés · ISBN 9783540378730Más obras de Renate A. SchmidtAutomated Deduction – CADE-22Automated Reasoning with Analytic Tableaux and Related MethodsAAutomated ReasoningAutomated ReasoningVer todas las obras de Renate A. Schmidt →