Información del autor
Autor Droste, Manfred |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Algebraic Informatics : 8th International Conference, CAI 2019, NiÅ¡, Serbia, June 30–July 4, 2019, Proceedings / Tipo de documento: documento electrónico Autores: Ćirić, Miroslav, ; Droste, Manfred, ; Pin, Jean-Éric, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVI, 259 p. 273 ilustraciones, 22 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-21363-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación Inteligencia artificial Análisis numérico Informática Matemáticas discretas Algoritmos TeorÃa de la codificación TeorÃa de la información Lógica informática y fundamentos de la programación. Ciencia de los datos Matemáticas discretas en informática TeorÃa de la codificación y la información Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas de la 8.ª Conferencia Internacional sobre Informática Algebraica, CAI 2019, celebrada en NiÅ¡, Serbia, en junio/julio de 2019. Los 20 artÃculos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 35 presentaciones. Los artÃculos presentan investigaciones en la intersección de la informática teórica, el álgebra y áreas relacionadas. Informan investigaciones originales inéditas y cubren una amplia gama de temas, desde teorÃa y lógica de autómatas, criptografÃa y teorÃa de codificación, álgebra informática, teorÃa del diseño, computación natural y cuántica, y áreas relacionadas. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Niš, Serbia, in June/July 2019. The 20 revised papers presented were carefully reviewed and selected from 35 submissions. The papers present research at the intersection of theoretical computer science, algebra, and related areas. They report original unpublished research and cover a broad range of topics from automata theory and logic, cryptography and coding theory, computer algebra, design theory, natural and quantum computation, and related areas. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Algebraic Informatics : 8th International Conference, CAI 2019, NiÅ¡, Serbia, June 30–July 4, 2019, Proceedings / [documento electrónico] / Ćirić, Miroslav, ; Droste, Manfred, ; Pin, Jean-Éric, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 259 p. 273 ilustraciones, 22 ilustraciones en color.
ISBN : 978-3-030-21363-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Ciencias de la Computación Inteligencia artificial Análisis numérico Informática Matemáticas discretas Algoritmos TeorÃa de la codificación TeorÃa de la información Lógica informática y fundamentos de la programación. Ciencia de los datos Matemáticas discretas en informática TeorÃa de la codificación y la información Clasificación: 40.151 Resumen: Este libro constituye las actas arbitradas de la 8.ª Conferencia Internacional sobre Informática Algebraica, CAI 2019, celebrada en NiÅ¡, Serbia, en junio/julio de 2019. Los 20 artÃculos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 35 presentaciones. Los artÃculos presentan investigaciones en la intersección de la informática teórica, el álgebra y áreas relacionadas. Informan investigaciones originales inéditas y cubren una amplia gama de temas, desde teorÃa y lógica de autómatas, criptografÃa y teorÃa de codificación, álgebra informática, teorÃa del diseño, computación natural y cuántica, y áreas relacionadas. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Niš, Serbia, in June/July 2019. The 20 revised papers presented were carefully reviewed and selected from 35 submissions. The papers present research at the intersection of theoretical computer science, algebra, and related areas. They report original unpublished research and cover a broad range of topics from automata theory and logic, cryptography and coding theory, computer algebra, design theory, natural and quantum computation, and related areas. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Fields of Logic and Computation III / Blass, Andreas ; Cégielski, Patrick ; Dershowitz, Nachum ; Droste, Manfred ; Finkbeiner, Bernd
TÃtulo : Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday Tipo de documento: documento electrónico Autores: Blass, Andreas, ; Cégielski, Patrick, ; Dershowitz, Nachum, ; Droste, Manfred, ; Finkbeiner, Bernd, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 341 p. 184 ilustraciones, 9 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-48006-6 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Programación de computadoras Estructuras de datos (Informática) TeorÃa de la información Red de computadoras Computadoras Propósitos especiales Programación lógica IngenierÃa de software Técnicas de programación Estructuras de datos y teorÃa de la información Redes de comunicación informática Sistemas de propósito especial y basados ​​en aplicaciones Lógica en IA Clasificación: 005.11 Resumen: Este Festschrift se publica en honor del 80 cumpleaños de Yuri Gurevich. Se planeó una conferencia asociada, YuriFest 2020, del 18 al 20 de mayo en Fontainebleau, Francia, en combinación con la 39ª Journées sur les Arithmétiques Faibles que también celebra el 80 cumpleaños de Yuri. Debido a la situación del coronavirus, la conferencia tuvo que ser pospuesta, pero este Festschrift se publica según lo previsto originalmente. Aborda una amplia variedad de temas, pero de ninguna manera todos los campos de la lógica y la computación en los que Yuri ha logrado avances importantes. Nota de contenido: Computation -- Logic -- Verification -- Topos theory. -Parallel Computing -- Tree -- Gurevich conjecture -- Arabic algorithms -- Hyperbolic group -- Lattice-ordered group -- Temporal logic -- Metric logic -- Random convergence -- Knot theory -- Entropic convergence -- Random access machine, PTIME -- Algorithmic randomness. . Tipo de medio : Computadora Summary : This Festschrift is published in honor of Yuri Gurevich's 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri's 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday [documento electrónico] / Blass, Andreas, ; Cégielski, Patrick, ; Dershowitz, Nachum, ; Droste, Manfred, ; Finkbeiner, Bernd, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 341 p. 184 ilustraciones, 9 ilustraciones en color.
ISBN : 978-3-030-48006-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Programación de computadoras Estructuras de datos (Informática) TeorÃa de la información Red de computadoras Computadoras Propósitos especiales Programación lógica IngenierÃa de software Técnicas de programación Estructuras de datos y teorÃa de la información Redes de comunicación informática Sistemas de propósito especial y basados ​​en aplicaciones Lógica en IA Clasificación: 005.11 Resumen: Este Festschrift se publica en honor del 80 cumpleaños de Yuri Gurevich. Se planeó una conferencia asociada, YuriFest 2020, del 18 al 20 de mayo en Fontainebleau, Francia, en combinación con la 39ª Journées sur les Arithmétiques Faibles que también celebra el 80 cumpleaños de Yuri. Debido a la situación del coronavirus, la conferencia tuvo que ser pospuesta, pero este Festschrift se publica según lo previsto originalmente. Aborda una amplia variedad de temas, pero de ninguna manera todos los campos de la lógica y la computación en los que Yuri ha logrado avances importantes. Nota de contenido: Computation -- Logic -- Verification -- Topos theory. -Parallel Computing -- Tree -- Gurevich conjecture -- Arabic algorithms -- Hyperbolic group -- Lattice-ordered group -- Temporal logic -- Metric logic -- Random convergence -- Knot theory -- Entropic convergence -- Random access machine, PTIME -- Algorithmic randomness. . Tipo de medio : Computadora Summary : This Festschrift is published in honor of Yuri Gurevich's 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri's 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Groups, Modules, and Model Theory - Surveys and Recent Developments / Droste, Manfred ; Fuchs, László ; Goldsmith, Brendan ; Strüngmann, Lutz
TÃtulo : Groups, Modules, and Model Theory - Surveys and Recent Developments : In Memory of Rüdiger Göbel / Tipo de documento: documento electrónico Autores: Droste, Manfred, ; Fuchs, László, ; Goldsmith, Brendan, ; Strüngmann, Lutz, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XXXIV, 475 p. 30 ilustraciones ISBN/ISSN/DL: 978-3-319-51718-6 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: teorÃa de grupos TeorÃa de grupos y generalizaciones. Clasificación: 512.2 Resumen: Este volumen se centra en la teorÃa de grupos y la teorÃa de modelos con especial énfasis en la interacción de las dos áreas. Los artÃculos de encuesta brindan una descripción general de los desarrollos en la teorÃa de grupos, módulos y modelos, mientras que los artÃculos de investigación presentan el estudio más reciente en esas mismas áreas. Con secciones introductorias que hacen que los temas sean fácilmente accesibles para los estudiantes, los artÃculos de este volumen atraerán tanto a estudiantes graduados principiantes como a investigadores experimentados. En su conjunto, este libro ofrece una visión transversal de las áreas de la teorÃa de grupos, módulos y modelos, cubriendo temas como grupos mÃnimos DP, grupos abelianos, árboles 1-transitivos contables y aproximaciones de módulos. Los artÃculos de este libro son las actas de la conferencia "Nuevos caminos entre la teorÃa de grupos y la teorÃa de modelos", que tuvo lugar del 1 al 4 de febrero de 2016 en Mülheim an der Ruhr, Alemania, en honor al colega de los editores, Rüdiger Göbel. Esta publicación está dedicada al profesor Göbel, fallecido en 2014. Fue uno de los principales expertos en teorÃa de grupos abelianos. . Nota de contenido: Rudiger Gobel: An Appreciation (Droste, Fuchs, Goldsmith, Strungman) -- Part I: Survey Articles -- Properties of Abelian groups determined by their endomorphism ring (Albrecht) -- The zero-divisor graph of a commutative semigroup: a survey (Anderson, Badawi) -- A Remak-Krull-Schmidt class of torsion-free Abelian groups (Arnold, Mader, Mutzbauer, Solak) -- Rigid À1-free Abelian groups with prescribed factors and their role in the theory of cellular covers (Strungmann) -- Definable valuations induced by definable subgroups (Dupont) -- Groups of automorphisms of totally ordered sets: techniques, model theory and applications in decision problems (Glass) -- Algebraic entropies for Abelian groups with applications to the structure of their endomorphism rings: a survey (Goldsmith, Salce) -- On subsets and subgroups defined by commutators and some related questions (Charlotte Kappe, Longobardi, Maj) -- Recent progress in module approximations (Trlifaj) -- Part II: Research Articles -- A class of pure subgroups of the Specker group (Corner) -- Countable 1-transitive trees (Chicot, Truss) -- On Ore's theorem and universal words for permutations and injections of infinite sets (Droste) -- An extension of M.C.R. Butler's theorem on endomorphism rings (Dugas, Herden, Shelah) -- The Jacobson radical's role in isomorphism theorems for p-adic modules extends to topological isomorphism (Flagg) -- A note on Hieronymi's theorem: every definably complete structure is definably Baire (Fornasiero) -- Cotorsion and Tor pairs and finitistic dimensions over commutative rings (Fuchs) -- Permutation groups without irreducible elements (Glass, Macpherson) -- R-Hopfian and L-co-Hopfian Abelian groups (with an appendix by A.L.S. Corner on near automorphisms of an Abelian group) (Goldsmith, Gong) -- On the Abelianization of certain topologist's products (Herfort, Hojka) -- Some remarks on DP-minimal groups (Kaplan, Levi, Simon) -- Square subgroups of decomposable rank three groups (Karimi) -- An invariant on primary Abelian groups with applications to their projective dimensions (Keef) -- The valuation difference rank of a quasi-ordered difference field (Kuhlmann, Matusinski, Point) -- The lattice of U-sequences of an Abelian p-group (McLean) -- Strongly non-singular rings and Morita equivalence (McQuaig) -- The class of (2,3)-groups with homocyclic regulator quotient of exponent p2 (Solak) -- Unbounded monotone subgroups of the Baer-Specker group (Wald) -- Clusterization of correlation functions (Zuevsky). Tipo de medio : Computadora Summary : This volume focuses on group theory and model theory with a particular emphasis on the interplay of the two areas. The survey papers provide an overview of the developments across group, module, and model theory while the research papers present the most recent study in those same areas. With introductory sections that make the topics easily accessible to students, the papers in this volume will appeal to beginning graduate students and experienced researchers alike. As a whole, this book offers a cross-section view of the areas in group, module, and model theory, covering topics such as DP-minimal groups, Abelian groups, countable 1-transitive trees, and module approximations. The papers in this book are the proceedings of the conference "New Pathways between Group Theory and Model Theory," which took place February 1-4, 2016, in Mülheim an der Ruhr, Germany, in honor of the editors' colleague Rüdiger Göbel. This publication is dedicated to Professor Göbel, who passed away in 2014. He was one of the leading experts in Abelian group theory. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Groups, Modules, and Model Theory - Surveys and Recent Developments : In Memory of Rüdiger Göbel / [documento electrónico] / Droste, Manfred, ; Fuchs, László, ; Goldsmith, Brendan, ; Strüngmann, Lutz, . - 1 ed. . - [s.l.] : Springer, 2017 . - XXXIV, 475 p. 30 ilustraciones.
ISBN : 978-3-319-51718-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: teorÃa de grupos TeorÃa de grupos y generalizaciones. Clasificación: 512.2 Resumen: Este volumen se centra en la teorÃa de grupos y la teorÃa de modelos con especial énfasis en la interacción de las dos áreas. Los artÃculos de encuesta brindan una descripción general de los desarrollos en la teorÃa de grupos, módulos y modelos, mientras que los artÃculos de investigación presentan el estudio más reciente en esas mismas áreas. Con secciones introductorias que hacen que los temas sean fácilmente accesibles para los estudiantes, los artÃculos de este volumen atraerán tanto a estudiantes graduados principiantes como a investigadores experimentados. En su conjunto, este libro ofrece una visión transversal de las áreas de la teorÃa de grupos, módulos y modelos, cubriendo temas como grupos mÃnimos DP, grupos abelianos, árboles 1-transitivos contables y aproximaciones de módulos. Los artÃculos de este libro son las actas de la conferencia "Nuevos caminos entre la teorÃa de grupos y la teorÃa de modelos", que tuvo lugar del 1 al 4 de febrero de 2016 en Mülheim an der Ruhr, Alemania, en honor al colega de los editores, Rüdiger Göbel. Esta publicación está dedicada al profesor Göbel, fallecido en 2014. Fue uno de los principales expertos en teorÃa de grupos abelianos. . Nota de contenido: Rudiger Gobel: An Appreciation (Droste, Fuchs, Goldsmith, Strungman) -- Part I: Survey Articles -- Properties of Abelian groups determined by their endomorphism ring (Albrecht) -- The zero-divisor graph of a commutative semigroup: a survey (Anderson, Badawi) -- A Remak-Krull-Schmidt class of torsion-free Abelian groups (Arnold, Mader, Mutzbauer, Solak) -- Rigid À1-free Abelian groups with prescribed factors and their role in the theory of cellular covers (Strungmann) -- Definable valuations induced by definable subgroups (Dupont) -- Groups of automorphisms of totally ordered sets: techniques, model theory and applications in decision problems (Glass) -- Algebraic entropies for Abelian groups with applications to the structure of their endomorphism rings: a survey (Goldsmith, Salce) -- On subsets and subgroups defined by commutators and some related questions (Charlotte Kappe, Longobardi, Maj) -- Recent progress in module approximations (Trlifaj) -- Part II: Research Articles -- A class of pure subgroups of the Specker group (Corner) -- Countable 1-transitive trees (Chicot, Truss) -- On Ore's theorem and universal words for permutations and injections of infinite sets (Droste) -- An extension of M.C.R. Butler's theorem on endomorphism rings (Dugas, Herden, Shelah) -- The Jacobson radical's role in isomorphism theorems for p-adic modules extends to topological isomorphism (Flagg) -- A note on Hieronymi's theorem: every definably complete structure is definably Baire (Fornasiero) -- Cotorsion and Tor pairs and finitistic dimensions over commutative rings (Fuchs) -- Permutation groups without irreducible elements (Glass, Macpherson) -- R-Hopfian and L-co-Hopfian Abelian groups (with an appendix by A.L.S. Corner on near automorphisms of an Abelian group) (Goldsmith, Gong) -- On the Abelianization of certain topologist's products (Herfort, Hojka) -- Some remarks on DP-minimal groups (Kaplan, Levi, Simon) -- Square subgroups of decomposable rank three groups (Karimi) -- An invariant on primary Abelian groups with applications to their projective dimensions (Keef) -- The valuation difference rank of a quasi-ordered difference field (Kuhlmann, Matusinski, Point) -- The lattice of U-sequences of an Abelian p-group (McLean) -- Strongly non-singular rings and Morita equivalence (McQuaig) -- The class of (2,3)-groups with homocyclic regulator quotient of exponent p2 (Solak) -- Unbounded monotone subgroups of the Baer-Specker group (Wald) -- Clusterization of correlation functions (Zuevsky). Tipo de medio : Computadora Summary : This volume focuses on group theory and model theory with a particular emphasis on the interplay of the two areas. The survey papers provide an overview of the developments across group, module, and model theory while the research papers present the most recent study in those same areas. With introductory sections that make the topics easily accessible to students, the papers in this volume will appeal to beginning graduate students and experienced researchers alike. As a whole, this book offers a cross-section view of the areas in group, module, and model theory, covering topics such as DP-minimal groups, Abelian groups, countable 1-transitive trees, and module approximations. The papers in this book are the proceedings of the conference "New Pathways between Group Theory and Model Theory," which took place February 1-4, 2016, in Mülheim an der Ruhr, Germany, in honor of the editors' colleague Rüdiger Göbel. This publication is dedicated to Professor Göbel, who passed away in 2014. He was one of the leading experts in Abelian group theory. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]