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:
Main Authors: | , , , |
---|---|
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!
|
Summary: | General concepts from universal algebra -- Finite sets of reductions -- Infinite sets of reductions -- Automata and reductions -- Deciding algebraic properties of finitely presented monoids. |
---|