Books on the topic 'Algebraic automata theory'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Algebraic automata theory.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
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.
Masami, Itō. Algebraic theory of automata and languages. River Edge, N.J: World Scientific, 2004.
Dömösi, Pál. Algebraic theory of automata networks: An introduction. Philadelphia, PA: Society for Industrial and Applied Mathematics, 2005.
Plotkin, B. I. Algebraic structures in automata and databases theory. Singapore: World Scientific, 1992.
NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra (2003 Montréal, Québec). Structural theory of automata, semigroups, and universal algebra. Edited by Kudri︠a︡vt︠s︡ev V. B, Rosenberg I. G. 1939-, Goldstein Martin, and NATO Public Diplomacy Division. Dordrecht: Springer, 2005.
M, Delorme, and Mazoyer J, eds. Cellular automata: A parallel model. Dordrecht: Kluwer Academic Publishers, 1999.
Kelarev, A. V. 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.
Pouly, Marc. Generic Inference: A Unifying Theory for Automated Reasoning. Hoboken, New Jersey: Wiley, 2011.
Kuich, Werner. Semirings, Automata, Languages. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986.
Stachniak, Zbigniew. 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.
Kaljulaid, U. 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.
CALCULEMUS-2000 Symposium (2000 St. Andrews, Scotland). 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.
Dewilde, P. Time-varying systems and computations. Boston: Kluwer Academic Publishers, 1998.
Karchmer, Mauricio. 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.
Ouaknine, Joël. 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.
Bingulac, Stanoje. 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.
Delorme, M., and J. Mazoyer. 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.
Zimmer, Robert. Categories as a basis for algebraic automaton theory. 1985.
Zimmer, Robert. 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.