Welcome, Guest.Sign in for full access to IOU Digital Library's resources.

Welcome to IOU Digital Library

Refine your Search

Useful Links

Page 1 | Results on this page: 6 | Digital Books: 6 | Physical Books: 0

Adapting Proofs-as-Programs: The Curry–Howard Protocol
Adapting Proofs-as-Programs: The Curry–Howard Protocol

Subjects: Theoretical computer science

Published in: 2005

By: Iman Hafiz Poernomo & John Newsome Crossley & Martin Wirsing

Complexity Theory: Exploring the Limits of Efficient Algorithms
Complexity Theory: Exploring the Limits of Efficient Algorithms

Subjects: Theoretical computer science

Published in: 2005

By: Ingo Wegener

Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday
Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday

Subjects: Theoretical computer science

Published in: 2012

By: Jozef Kelemen & Alica Kelemenová (eds.)

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

Subjects: Theoretical Computer Science

Published in: 2006

By: Gonzalo Navarro ,  Leopoldo Bertossi ,  Yoshiharu Kohayakawa

Logic, Computation
Logic, Computation

Subjects: Logic,  theoretical computer science

Published in: 101

By: Thomas Forster

Theoretical Aspects of Computing – ICTAC 2008
Theoretical Aspects of Computing – ICTAC 2008

Subjects: Theoretical computer science

Published in: 2008

By: John S. Fitzgerald & Anne E. Haxthausen & Husnu Yenigun (Editors)

Fresh Arrivals