Книги з теми "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., and 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, and NATO Public Diplomacy Division, eds. Structural theory of automata, semigroups, and universal algebra. Dordrecht: Springer, 2005.

M, Delorme, and 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. Edited by 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, and 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. Edited by 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, and 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). Edited by 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, and 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, and 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, and 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, and 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., and M. Delorme. Cellular Automata: A Parallel Model. Springer, 2013.

Cellular Automata: A Parallel Model. Springer, 2010.

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

(Adapter), M. Goldstein, Valery B. Kudryavtsev (Editor), and 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, and 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), and 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.