Libri sul tema "Algebraic automata theory"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-50 libri per l'attività di ricerca sul tema "Algebraic automata theory".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi i libri di molte aree scientifiche e compila una bibliografia corretta.
Bolesław, Mikołajczak, a cura di. 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. A cura di Kudri︠a︡vt︠s︡ev V. B, Rosenberg I. G. 1939-, Goldstein Martin e NATO Public Diplomacy Division. Dordrecht: Springer, 2005.
M, Delorme, e Mazoyer J, a cura di. 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. A cura di 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. A cura di 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). A cura di 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, e Frey Gerhard 1944-, a cura di. 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, e 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, e 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., e M. Delorme. Cellular Automata: A Parallel Model. Springer, 2013.
Delorme, M., e J. Mazoyer. Cellular Automata: A Parallel Model. Springer, 2010.
(Editor), M. Delorme, e J. Mazoyer (Editor), a cura di. Cellular Automata: A Parallel Model (Mathematics and Its Applications). Springer, 1998.
(Adapter), M. Goldstein, Valery B. Kudryavtsev (Editor) e Ivo G. Rosenberg (Editor), a cura di. 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, e 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) e Ivo G. Rosenberg (Editor), a cura di. 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.