Libros sobre el tema "Algebraic automata theory"

Bolesław, Mikołajczak, ed. Algebraic and structural automata theory. Amsterdam: North-Holland Pub. Co., 1991.

ItÕo, Masami. Algebraic theory of automata and languages. Singapore: World Scientific, 2005.

Algebraic theory of automata and languages. River Edge, N.J: World Scientific, 2004.

Algebraic theory of automata networks: An introduction. Philadelphia, PA: Society for Industrial and Applied Mathematics, 2005.

Ja, Greenglaz L. y Gvaramija, eds. Algebraic structures in automata and databases theory. Singapore: World Scientific, 1992.

B, Kudri︠a︡vt︠s︡ev V., Rosenberg I. G. 1939-, Goldstein Martin y NATO Public Diplomacy Division, eds. Structural theory of automata, semigroups, and universal algebra. Dordrecht: Springer, 2005.

M, Delorme y Mazoyer J, eds. Cellular automata: A parallel model. Dordrecht: Kluwer Academic Publishers, 1999.

Graph algebras and automata. New York: Marcel Dekker, 2003.

Argentina) Luis Santaló Winter School-CIMPA Research School Topics in Noncommutative Geometry (3rd 2010 Buenos Aires. Topics in noncommutative geometry: Third Luis Santaló Winter School-CIMPA Research School Topics in Noncommutative Geometry, Universidad de Buenos Aires, Buenos Aires, Argentina, July 26-August 6, 2010. Editado por Cortiñas, Guillermo, editor of compilation. Providence, RI: American Mathematical Society, 2012.

Jiří, Adámek. Automata and algebras in categories. Dordrecht: Kluwer Academic Publishers, 1990.

author, Kohlas Jürg 1939, ed. Generic Inference: A Unifying Theory for Automated Reasoning. Hoboken, New Jersey: Wiley, 2011.

Kuich, Werner. Semirings, Automata, Languages. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986.

Resolution proof systems: An algebraic theory. Dordrecht: Kluwer Academic Publishers, 1996.

Stachniak, Zbigniew. Resolution Proof Systems: An Algebraic Theory. Dordrecht: Springer Netherlands, 1996.

Seslavin, Andrey. Theory of automatic control. Linear, continuous systems. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1014654.

1935-, Peetre Jaak y Penjam Jaan 1955-, eds. Semigroups and automata: Selecta, Uno Kaljulaid (1941-1999). Amsterdam: IOS, 2006.

Büchi, J. Richard. Finite automata, their algebras and grammars: Towards a theory of formal expressions. Editado por Siefkes Dirk. New York: Springer-Verlag, 1989.

Myasnikov, Alexei G. Non-commutative cryptography and complexity of group-theoretic problems. Providence, R.I: American Mathematical Society, 2011.

International Conference on Cellular Automata for Research and Industry (4th 2000 Karlsruhe, Germany). Theory and practical issues on cellular automata: Proceedings of the Fourth International Conference on Cellular Automata for Research and Industry, Karlsruhe, 4-6 October 2000. London: Springer, 2001.

McCune, W. Automated deduction in equational logic and cubic curves. Berlin: Springer, 1996.

David, Hutchison. Language and Automata Theory and Applications: Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

1956-, Kerber Manfred y Kohlhase Michael 1964-, eds. Symbolic computation and automated reasoning: The CALCULEMUS-2000 Symposium. Natick, Mass: A K Peters, 2001.

Kaiser, Łukasz. Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Milnor, John W. Dynamical systems (1984-2012). Editado por Bonifant Araceli 1963-. Providence, Rhode Island: American Mathematical Society, 2014.

der, Veen Alle-Jan van, ed. Time-varying systems and computations. Boston: Kluwer Academic Publishers, 1998.

Communication complexity: A new approach to circuit depth. Cambridge, Mass: MIT Press, 1989.

Wen-tsün, Wu. Mechanical theorem proving in geometries: Basic principles. Wien: Springer-Verlag, 1994.

Bibel, Wolfgang. Automated Deduction - A Basis for Applications: Volume III Applications. Dordrecht: Springer Netherlands, 1998.

Kamareddine, Fairouz D. Thirty Five Years of Automating Mathematics. Dordrecht: Springer Netherlands, 2003.

Bibel, Wolfgang. Automated Deduction - A Basis for Applications: Volume II: Systems and Implementation Techniques. Dordrecht: Springer Netherlands, 1998.

W, Vaandrager Frits y SpringerLink (Online service), eds. Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

D'Agostino, Marcello. Handbook of Tableau Methods. Dordrecht: Springer Netherlands, 1999.

Henri, Cohen y Frey Gerhard 1944-, eds. Handbook of elliptic and hyperelliptic curve cryptography. Boca Raton, FL: Taylor and Francis, 2005.

David, Hutchison. Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Van Landingham, Hugh F., 1935-, ed. Algorithms for computer-aided design of multivariable control systems. New York: M. Dekker, 1993.

Holcombe, M. Algebraic Automata Theory. Cambridge University Press, 2009.

Holcombe, M. Algebraic Automata Theory. Cambridge University Press, 2011.

Ginzburg, Abraham y Robert L. Ashenhurst. Algebraic Theory of Automata. Elsevier Science & Technology Books, 2014.

Algebraic and Structural Automata Theory. Elsevier, 1991. http://dx.doi.org/10.1016/s0167-5060(08)x7001-3.

Mikolajczak, B. Algebraic and Structural Automata Theory. Elsevier Science & Technology Books, 1991.

Greenglaz, L. Ja y B. I. Plotkin. Algebraic Structures in Automata and Database Theory. World Scientific Publishing Company, 1993.

Holcombe, M. Algebraic Automata Theory (Cambridge Studies in Advanced Mathematics). Cambridge University Press, 2004.

Mazoyer, J. y M. Delorme. Cellular Automata: A Parallel Model. Springer, 2013.

Cellular Automata: A Parallel Model. Springer, 2010.

(Editor), M. Delorme y J. Mazoyer (Editor), eds. Cellular Automata: A Parallel Model (Mathematics and Its Applications). Springer, 1998.

(Adapter), M. Goldstein, Valery B. Kudryavtsev (Editor) y Ivo G. Rosenberg (Editor), eds. Structural Theory of Automata, Semigroups, and Universal Algebra: Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal, Quebec, Canada, 7-18 July 2003 (NATO Science Series II: Mathematics, Physics and Chemistry, Vol. 207). Springer, 2005.

Dõmõsi, Pál y Chrystopher L. Nehaniv. Algebraic Theory of Automata Networks (SIAM Monographs on Discrete Mathematics and Applications, 11) (Monographs on Discrete Mathematics and Applications). SIAM: Society for Industrial and Applied Mathematics, 2004.

Categories as a basis for algebraic automaton theory. 1985.

Categories as a basis for algebraic automaton theory. 1985.

(Adapter), M. Goldstein, Valery B. Kudryavtsev (Editor) y Ivo G. Rosenberg (Editor), eds. Structural Theory of Automata, Semigroups, and Universal Algebra: Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups ... II: Mathematics, Physics and Chemistry). Springer, 2005.