Artículos relacionados a 2001 Logic in Computer Science Symposium/Lics: Proceedings,...
2001 Logic in Computer Science Symposium/Lics: Proceedings, 16-19 June 2001, Boston, Massachusetts - Tapa blanda
Sinopsis
Proceedings of a June 2001 symposium. Topics include a decision procedure for an extensional theory of arrays, semantics of name and value passing, the decision problem for the guarded fragment with transitivity, a universal characterization of the closed Euclidean interval, a second-order system for polytime reasoning using Graedel's theorem, a n! lower bound on formula size, light affine lambda calculus and polytime strong normalization, semantics of machine instructions at multiple levels of abstraction, recursive programming languages for complexity classes, and computing the density of regular languages. This volume lacks a subject index. Annotation c. Book News, Inc., Portland, OR (booknews.com)
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Proceedings of a June 2001 symposium. Topics include a decision procedure for an extensional theory of arrays, semantics of name and value passing, the decision problem for the guarded fragment with transitivity, a universal characterization of the closed Euclidean interval, a second-order system fo"
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para 2001 Logic in Computer Science Symposium/Lics: Proceedings,...
Imagen de archivo
Logic in Computer Science 2001: 16th Annual IEEE Symposium, 16-19 June 2001, Boston, Massachusetts
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.01. Nº de ref. del artículo: G076951281XI3N00
Cantidad disponible: 1 disponibles