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: | 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
-
Systems of Reductions [electronic resource] /
by: Benninghofen, Benjamin. author., et al.
Published: (1987) -
Rewriting Techniques and Applications [electronic resource] : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings /
by: Dershowitz, Nachum. editor., et al.
Published: (1989) -
Rewriting Techniques and Applications [electronic resource] : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings /
by: Dershowitz, Nachum. editor., et al.
Published: (1989) -
Search and Planning Under Incomplete Information [electronic resource] : A Study Using Bridge Card Play /
by: Frank, Ian. author., et al.
Published: (1998) -
Search and Planning Under Incomplete Information [electronic resource] : A Study Using Bridge Card Play /
by: Frank, Ian. author., et al.
Published: (1998)