Flick Club LogoFlick Club Logo

Termination of rewriting

Nachum Dershowitz

1985
Automatic Theorem Proving Ordered Sets Rewriting Systems (Computer Science)
In the Beginning...Was the Command Line
3.7 22 votes
The Cathedral and the Bazaar
4.3 16 votes
Code
4.3 21 votes
Thinking in systems
4.4 22 votes
Hackers
4.1 21 votes
Structure and Interpretation of Computer Programs (SICP)
4.4 21 votes
The Queen of the Damned
3.8 27 votes
Coders at Work
4.0 18 votes
The Mysterious Island
4.2 19 votes
Daemon
4.1 44 votes
Freedom™
4.1 29 votes
Snow Crash
4.0 172 votes
Player Piano
3.8 27 votes
Astrophysics for People in a Hurry
4.6 22 votes
Broken Angels
3.4 21 votes
Do Epic Shit
4.1 23 votes
Biology
3.9 18 votes
Algorithms to Live By
4.0 37 votes
Masters of Doom
4.1 32 votes
The Pragmatic Programmer
4.4 41 votes
Ghost in the wires
4.1 17 votes
The Innovators
3.9 18 votes
The Fall of Hyperion
4.0 45 votes
Duncan's Bride
4.8 16 votes
The Mythical Man-Month
4.2 28 votes
Cryptonomicon
4.5 28 votes
Halting State
3.5 18 votes
Microserfs
4.0 18 votes
The Dark Forest (The Three-Body Problem Series Book 2)
4.6 18 votes
Code Complete
4.2 22 votes
The magic of thinking big
4.7 15 votes
Reamde
3.7 47 votes
JavaScript
4.1 30 votes
Nightfall
4.1 23 votes
Hackers & painters
4.0 16 votes
The Stars My Destination
4.0 23 votes
God Emperor of Dune (Dune Chronicles, Book 4)
3.9 61 votes
Artemis
3.7 116 votes
Think and grow rich
4.0 378 votes
Death's End (The Three-Body Problem Series Book 3)
4.4 47 votes
The Sixth Extinction
4.0 19 votes
Embassytown
3.5 21 votes
Heretics of Dune
3.8 43 votes
Roadside Picnic
4.3 48 votes
The Power of Your Subconscious Mind
4.5 21 votes
The Dreaming Void
3.9 18 votes
I Have No Mouth and I Must Scream
3.8 29 votes
Xenocide: Volume Three of the Ender Saga (Ender Quintet Book 3)
3.8 81 votes