Liknande böcker

Foundations of Software Technology and Theoretical Computer Science : 16...
Bok av Vijay Chandru
Automata, Languages and Programming : 12th Colloquium, Nafplion, Greece,...
Bok av Wilfried Brauer
Automata, Languages and Programming : Ninth Colloquium Aarhus, Denmark,...
Bok av M Nielsen
Computer science logic
Bok av Egon Borger
The Vienna Development Method: The Meta-Language
Bok av Dines Bjorner
Structures in Logic and Computer Science : A Selection of Essays in Hono...
Bok av Jan Mycielski
Rigorous Methods for Software Construction and Analysis : Essays Dedicat...
Bok av Jean-Raymond. Abrial
Fundamentals of Computation Theory : 13th International Symposium, FCT 2...
Bok av Rusins Freivalds

Systems of Reductions

Bok av Benjamin Benninghofen
Contents: General Concepts from Universal Algebra.- Finite Sets of Reductions.- Infinite Sets of Reductions.- Automata and Reductions.- Deciding Algebraic Properties of Finitely Presented Monoids by Friedrich Otto.- References.- Subject Index.- List of Symbols and Abbreviations.