- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Dowek, Gilles

Showing 1 - 9 of 9 results

Search Results

Cover image for Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages

2016
Format: Electronic

Location
Access Content Online

Cover image for Higher-order algebra, logic, and term rewriting

Higher-order algebra, logic, and term rewriting

1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA267 .H484 1996	✔ Available

Cover image for Computation, proof, machine

Computation, proof, machine

by Dowek, Gilles
2015
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA26 .D69 2015	✔ Available

Cover image for The age of algorithms

The age of algorithms

by Abiteboul, S.
2018
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9.58 .A245 2018	✔ Available

Cover image for Introduction to the theory of programming languages

Introduction to the theory of programming languages

by Dowek, Gilles
2011
Format: Electronic

Location
Access Content Online

Cover image for Higher-order algebra, logic, and term rewriting

Higher-order algebra, logic, and term rewriting

1996
Format: Electronic

Location
Access Content Online

Cover image for Proofs and algorithms

Proofs and algorithms

by Dowek, Gilles
2011
Format: Electronic

Location
Access Content Online

Cover image for Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

by Dowek, Gilles
2014
Format: Electronic

Location
Access Content Online

Cover image for Principles of programming languages

Principles of programming languages

by Dowek, Gilles
2009
Format: Electronic

Location
Access Content Online