Search for Author All Reviews
	Manca, Vincenzo     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Infobiotics: information in biotic systems Manca V., Springer Publishing Company, Incorporated, New York, NY, 2013. 402 pp.  Type: Book (978-3-642362-22-4) In my experience, experimental biologists are developing an increasing ease with computational tools in their research. In a recent meeting I attended on microbiology and infection, most of the talks had some component of bioinformatic...... Oct 16 2013     Logical string rewriting Manca V. Theoretical Computer Science 264(1): 25-51, 2001.  Type: Article The deductive calculi of logic and mathematics, many models of computation, and the numerous variants of Chomsky grammars are typical representatives of the huge class of formal systems in which string rewriting is used in some way. T...... Aug 29 2002     Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets Manca V., Salibra A. Theoretical Computer Science 94(1): 101-124, 1992.  Type: Article The theory of many-sorted algebras provides a natural mathematical framework for a formal treatment of algebraic specifications. Since the generalization from the one-sorted to the many-sorted case is mostly just an exercise in formali...... Jun 1 1993
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy