All-purpose | Everything Else

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selec

by Gilles Dowek

2021-01-08 21:35:17

Compare Price
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 1... Read more
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed. Less

Book Details

File size9.25 X 6.1 X 0 in
Print pages294
PublisherSpringer Berlin Heidelberg
Publication date May 8, 1996
LanguageEnglish
ISBN9783540612544
autor-image
Gilles Dowek
Author
...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Paperback Paperback Buy CAD 118.09
Indigo Books & MusicIn Stock
Format
Paperback
Condition
Paperback
Buy CAD 118.09
Available Discount
No Discount available

Related Books

View All
Row, Row, Row Your Boat (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
The Pout-Pout Fish
☆ ☆ ☆ ☆ ☆
There Was an Old Lady Who Swallowed a Chick!
☆ ☆ ☆ ☆ ☆
Twinkle, Twinkle, Little Star (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
Diary of an Awesome Friendly Kid: Rowley Jefferson's Journal
☆ ☆ ☆ ☆ ☆
House of Shadows: An Enthralling Historical Mystery
☆ ☆ ☆ ☆ ☆
Can't Make This Stuff Up!: Finding the Upside to Life's Downs
☆ ☆ ☆ ☆ ☆
Going to School
☆ ☆ ☆ ☆ ☆
Commander in Cheat: How Golf Explains Trump
☆ ☆ ☆ ☆ ☆
We Are Not Friends (You Are Not Small)
☆ ☆ ☆ ☆ ☆
Secrets Between Us: An absolutely gripping psychological thriller
☆ ☆ ☆ ☆ ☆
American Moonshot: John F. Kennedy and the Great Space Race
☆ ☆ ☆ ☆ ☆
The Secret Wife: A captivating story of romance, passion and mystery
☆ ☆ ☆ ☆ ☆
Clean & Lean: 30 Days, 30 Foods, a New You!
☆ ☆ ☆ ☆ ☆
Feed Your Best Friend Better: Easy, Nutritious Meals and Treats for Dogs
☆ ☆ ☆ ☆ ☆
Trillion Dollar Coach: The Leadership Playbook of Silicon Valley's Bill Campbell
☆ ☆ ☆ ☆ ☆
Falter: Has the Human Game Begun to Play Itself Out?
☆ ☆ ☆ ☆ ☆
Made for Me
☆ ☆ ☆ ☆ ☆
Good Night, Little Blue Truck
☆ ☆ ☆ ☆ ☆
The Wonderful Things You Will Be
☆ ☆ ☆ ☆ ☆
The Silent Woman (Cat Carlisle, Book 1)
☆ ☆ ☆ ☆ ☆
Hurricane Season
☆ ☆ ☆ ☆ ☆
Life Will Be the Death of Me: ...And You Too!
☆ ☆ ☆ ☆ ☆
You Be You: Detox Your Life, Crush Your Limitations, and Own Your Awesome
☆ ☆ ☆ ☆ ☆
The Book Club
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS