It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
⚠ Urge publishers to restore access to 500,000 removed library books: Sign Letter - Learn More
Last edited anonymously
April 30, 2008 | History
Edit

Vincent van Oostrom

We need a photo of Vincent van Oostrom

3 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science)

    First published in 2004 3 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Processes, Terms and Cycles : Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

    First published in 2005 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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)

    First published in 2006 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Vincent van Oostrom

Subjects
Calculus, Artificial Intelligence (incl. Robotics), Aspektorientierte Programmierung, Computer Science, Constraint-Programmierung, Infinite Processes, Infinity, Lambda calculus, Lambda-Kalkül, Lambda-calcul, Logic, Logics and Meanings of Programs, MATHEMATICS, Machine theory, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Processus infinis, Prozessalgebra, Reduktionssystem, Rewriting systems (Computer science), Réécriture, Systèmes de (Informatique)

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3330124A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 30, 2008 Created by an anonymous user initial import