Vincent van oostrom (46 resultados)
Idioma: Inglés
Editorial: A K Peters/CRC Press, 2004
- Tapa blanda
Librería: Green Ink Booksellers, Hay-on-Wye, POWYS, Reino UnidoGreen Ink Booksellers
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 27,19
Envío por EUR 14,40Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Very Good. - Minor shelfwear ow near new condition - Clean bright tight book 230 pages.
Idioma: Inglés
Editorial: Association for Symbolic Logic, Urbana, IL, 2004
- Tapa dura
Librería: Carothers and Carothers, Albany, CA, Estados Unidos de AmericaCarothers and Carothers
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 36,92
Envío por EUR 6,72Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: As New. viii, 208 p. Series: Lecture notes in logic ; 17. Boards and backstrip bright, corners sharp; contents as new. 420 grams.
Idioma: Inglés
Editorial: A K Peters/CRC Press, 2004
- Tapa dura
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino UnidoHay-on-Wye Booksellers
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 22,67
Envío por EUR 30,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Very Good. some shelf wear but the content excellent throughout.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,88
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Oostrom, Vincent Van (EDT); INTERNATIONAL CONFERENCE ON REWRITING TE
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,13
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,57
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Rewriting Techniques and Applications: 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings. Book.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 59,69
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America-OnTimeBooks-
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 64,37
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,77
Envío por EUR 2,69Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Van Eijck, Jan (EDT); van Oostrom, Vincent (EDT); Visser, Albert (EDT); Logic Colloquium; Eijck, J. Van
Idioma: Inglés
Editorial: A K Peters/CRC Press, 2004
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 65,89
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,03
Envío por EUR 18,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Van Eijck, Jan (EDT); van Oostrom, Vincent (EDT); Visser, Albert (EDT); Logic Colloquium; Eijck, J. Van
Idioma: Inglés
Editorial: A K Peters/CRC Press, 2004
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 75,19
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New.
- Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,38
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Tapa blanda
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 79,44
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,16
Envío por EUR 18,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: A.K. Peters, Limited, 2004
- Tapa blanda
Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 79,27
Envío por EUR 3,58Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 230.
Idioma: Inglés
Editorial: A K Peters/CRC Press, 2004
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 83,08
Envío por EUR 2,69Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Taylor & Francis Inc, 2004
- Tapa blanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,03
Envío por EUR 16,88Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Paperback / softback. Condición: New. New copy - Usually dispatched within 4 working days.
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Oostrom, Vincent Van (EDT); INTERNATIONAL CONFERENCE ON REWRITING TE
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,30
Envío por EUR 18,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Oostrom, Vincent Van (EDT); INTERNATIONAL CONFERENCE ON REWRITING TE
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 68,39
Envío por EUR 18,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Van Eijck, Jan (EDT); van Oostrom, Vincent (EDT); Visser, Albert (EDT); Logic Colloquium; Eijck, J. Van
Idioma: Inglés
Editorial: A K Peters/CRC Press, 2004
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 68,63
Envío por EUR 18,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: As New. Unread book in perfect condition.
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Van Eijck, Jan (EDT); van Oostrom, Vincent (EDT); Visser, Albert (EDT); Logic Colloquium; Eijck, J. Van
Idioma: Inglés
Editorial: A K Peters/CRC Press, 2004
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,02
Envío por EUR 18,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New.
Idioma: Inglés
Editorial: A.K. Peters, Limited, 2004
- Tapa blanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 78,68
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 230.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,40
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Termination Analysis of the Untyped -Calculus.- A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems.- Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms.- Monadic Second-Order Unification Is NP-Complete.- A Certified AC Matching Algorithm.- Matchbox: A Tool for Match-Bounded String Rewriting.- TORPA: Termination of Rewriting Proved Automatically.- Querying Unranked Trees with Stepwise Tree Automata.- A Verification Technique Using Term Rewriting Systems and Abstract Interpretation.- Rewriting for Fitch Style Natural Deductions.- Efficient -Evaluation with Interaction Nets.- Proving Properties of Term Rewrite Systems via Logic Programs.- On the Modularity of Confluence in Infinitary Term Rewriting.- mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting.- Automated Termination Proofs with AProVE.- An Approximation Based Approach to Infinitary Lambda Calculi.- Böhm-Like Trees for Term Rewriting Systems.- Dependency Pairs Revisited.- Inductive Theorems for Higher-Order Rewriting.- The Joinability and Unification Problems for Confluent Semi-constructor TRSs.- A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.…
Logic Colloquium '99: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Van Eijck , Jan (Edited by)/ Van Oostrom , Vincent (Edited by)/ Visser , Albert (Edited by)
Idioma: Inglés
Editorial: A K Peters Ltd, 2004
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 100,08
Envío por EUR 12,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. illustrated edition. 230 pages. 9.00x6.00x0.75 inches. In Stock.
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 92,27
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Kartoniert / Broschiert. Condición: New.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 124,85
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Spectra of Words.- On the Undecidability of Coherent Logic.- Löb's Logic Meets the -Calculus.- A Characterisation of Weak Bisimulation Congruence.- Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms.- Explaining Constraint Programming.- Sharing in the Weak Lambda-Calculus.- Term Rewriting Meets Aspect-Oriented Programming.- Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes.- Primitive Rewriting.- Infinitary Rewriting: From Syntax to Semantics.- Reducing Right-Hand Sides for Termination.- Reduction Strategies for Left-Linear Term Rewriting Systems.- Higher-Order Rewriting: Framework, Confluence and Termination.- Timing the Untimed: Terminating Successfully While Being Conservative.- Confluence of Graph Transformation Revisited.- Compositional Reasoning for Probabilistic Finite-State Behaviors.- Finite Equational Bases in Process Algebra: Results and Open Questions.- Skew and -Skew Confluence and Abstract Böhm Semantics.- A Mobility Calculus with Local and Dependent Types.- Model Theory for Process Algebra.- Expression Reduction Systems and Extensions: An Overview.- Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem.…
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 150,79
Envío por EUR 30,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Oostrom, Vincent Van (EDT); INTERNATIONAL CONFERENCE ON REWRITING TE
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 183,76
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)
Vrijer, Roel de, Raamsdonk, Femke van, Middeldorp, Aart, Oos
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 160,67
Envío por EUR 30,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
