Oostrom Vincent Van (47 results)
Language: English
Published by A K Peters/CRC Press, 2004
- Softcover
Seller: Green Ink Booksellers, Hay-on-Wye, POWYS, United KingdomGreen Ink Booksellers
Contact seller5-star sellerCondition: Used - Very good
£ 22.00
£ 12.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. - Minor shelfwear ow near new condition - Clean bright tight book 230 pages.
Language: English
Published by Association for Symbolic Logic, Urbana, IL, 2004
- Hardcover
Seller: Carothers and Carothers, Albany, CA, U.S.A.Carothers and Carothers
Contact seller5-star sellerCondition: Used - As new
£ 30.77
£ 5.60 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: As New. viii, 208 p. Series: Lecture notes in logic ; 17. Boards and backstrip bright, corners sharp; contents as new. 420 grams.
Language: English
Published by A K Peters/CRC Press, 2004
- Hardcover
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United KingdomHay-on-Wye Booksellers
Contact seller4-star sellerCondition: Used - Very good
£ 18.34
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. some shelf wear but the content excellent throughout.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 48.24
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: 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
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 48.44
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
£ 50.48
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Rewriting Techniques and Applications: 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings. Book.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 49.63
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
£ 53.65
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.…
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 52.31
£ 2.24 shippingShips within U.S.A.Quantity: Over 20 available
Condition: 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
Language: English
Published by A K Peters/CRC Press, 2004
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 54.91
£ 1.97 shippingShips within U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 46.15
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: 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
Language: English
Published by A K Peters/CRC Press, 2004
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 62.70
£ 1.97 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 65.32
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 66.20
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 49.86
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by A.K. Peters, Limited, 2004
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 66.06
£ 2.98 shippingShips within U.S.A.Quantity: 3 available
Condition: New. pp. 230.
Language: English
Published by A K Peters/CRC Press, 2004
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 69.23
£ 2.24 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Taylor & Francis Inc, 2004
- Softcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 55.85
£ 14.07 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback / softback. Condition: 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
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 55.26
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: 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
Language: English
Published by A K Peters/CRC Press, 2004
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.52
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: 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
Language: English
Published by A K Peters/CRC Press, 2004
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 55.84
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
Language: English
Published by A.K. Peters, Limited, 2004
- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 67.54
£ 8.29 shippingShips from Germany to U.S.A.Quantity: 3 available
Condition: New. pp. 230.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 56.99
£ 29.17 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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)
Language: English
Published by A K Peters Ltd, 2004
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 80.97
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. illustrated edition. 230 pages. 9.00x6.00x0.75 inches. In Stock.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 79.20
£ 40.83 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 107.17
£ 29.17 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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.…
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
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 129.99
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 122.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: 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
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 153.14
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: 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
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 130.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
