Systems of Reductions [electronic resource] /

General concepts from universal algebra -- Finite sets of reductions -- Infinite sets of reductions -- Automata and reductions -- Deciding algebraic properties of finitely presented monoids.

Saved in:
Bibliographic Details
Main Authors: Benninghofen, Benjamin. author., Kemmerich, Susanne. author., Richter, Michael M. author., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987
Subjects:Computer science., Algorithms., Mathematical logic., Artificial intelligence., Algebra., Computer Science., Algorithm Analysis and Problem Complexity., Artificial Intelligence (incl. Robotics)., Mathematical Logic and Formal Languages., Mathematical Logic and Foundations.,
Online Access:http://dx.doi.org/10.1007/3-540-18598-4
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items