Cargando…

Algebra and computer science /

This volume contains the proceedings of three special sessions: Algebra and Computer Science, held during the Joint AMS-EMS-SPM meeting in Porto, Portugal, June 10-13, 2015; Groups, Algorithms, and Cryptography, held during the Joint Mathematics Meeting in San Antonio, TX, January 10-13, 2015; and A...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Otros Autores:	Kahrobaei, Delaram, 1975- (Editor ), Cavallo, Bren, 1989- (Editor ), Garber, David, 1973- (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Providence, Rhode Island : American Mathematical Society, [2016]
Colección:	Contemporary mathematics (American Mathematical Society) ; v. 677.
Temas:	Logic, Symbolic and mathematical > Congresses. Algebra > Congresses. Computer science > Mathematics > Congresses. Logique symbolique et mathématique > Congrès. Algèbre > Congrès. Informatique > Mathématiques > Congrès. MATHEMATICS > Algebra > Intermediate. Algebra Computer science > Mathematics Logic, Symbolic and mathematical Group theory and generalizations. Computer science. Conference papers and proceedings
Acceso en línea:	Texto completo

Ejemplares similares

A tour through mathematical logic /
por: Wolf, Robert S.
Publicado: (2005)

Logic and algebraic structures in quantum computing /
Publicado: (2016)

Two applications of logic to mathematics /
por: Takeuti, Gaisi, 1926-2017
Publicado: (1978)

Classical groups, derangements and primes /
por: Burness, Timothy C., 1979-, et al.
Publicado: (2016)

Methods and Applications of Mathematical Logic.
por: Carnielli, Walter A.
Publicado: (1988)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Publicado: (2007)

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /
Publicado: (2016)

Logic Colloquium 2007 /
Publicado: (2010)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /
Publicado: (2007)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010)

Proceedings of the 12Th Asian Logic Conference.
por: Downey, R. G. (Rod G.)
Publicado: (2013)

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Publicado: (1999)

Logic, Computation, Hierarchies.
Publicado: (2014)

Twenty Five Years of Constructive Type Theory.
por: Sambin, Giovanni
Publicado: (1998)

Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /
Publicado: (2017)

Logic and Combinatorics
por: Simpson, Stephen G.
Publicado: (1987)

Lógica matemática /
por: Mora Espinosa, Carlos Fernando, et al.
Publicado: (2019)

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 /
Publicado: (2016)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010)

Linear Logic in Computer Science /
Publicado: (2004)

Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference.
por: Goncharov, S. S.
Publicado: (2006)

Infinity and truth /
Publicado: (2014)

Advances in linear logic /
Publicado: (1995)

Fork Algebras in Algebra, Logic and Computer Science.
por: Frias, Marcelo Fabián
Publicado: (2002)

TOPOLOGICAL PHASES OF MATTER AND QUANTUM COMPUTATION
Publicado: (2020)

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publicado: (2012)

Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publicado: (2012)

Logic, Computation, Hierarchies.
Publicado: (2014)

Alan Turing's systems of logic : the Princeton thesis /
por: Turing, Alan, 1912-1954
Publicado: (2012)

Logic Colloquium 2006 /
Publicado: (2009)

Set theory and its logic /
por: Quine, W. V. (Willard Van Orman)
Publicado: (1969)

Set theory and its logic /
por: Quine, W. V. (Willard Van Orman)
Publicado: (1969)

Collected works.
por: Gödel, Kurt
Publicado: (1986)

Two Applications of Logic to Mathematics /
por: Takeuti, Gaisi, 1926-2017
Publicado: (1978)

Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction /
por: Pudlák, Pavel
Publicado: (2013)

Noncommutative geometry and global analysis : conference in honor of Henri Moscovici, June 29-July 4, 2009, Bonn, Germany /
Publicado: (2011)

New Perspectives on Games and Interaction
por: Apt, Krzysztof, et al.
Publicado: (2008)

New Perspectives on Games and Interaction
por: Apt, Krzysztof, et al.
Publicado: (2008)

Recent advances in representation theory, quantum groups, algebraic geometry, and related topics : AMS Special Sessions on Geometric and Algebraic Aspects of Representation Theory and Quantum Groups, and Noncommutative Algebraic Geometry, October 13-14, 2012, Tulane University, New Orleans, Louisiana /
por: Jakelic, Dijana, 1968-, et al.
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_653sgmgoqpie9iuku02vuhe3en