Systems of Reductions [electronic resource] /

Systems of Reductions [electronic resource] /

Show other versions (1)

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!
id KOHA-OAI-TEST:217438
record_format koha
spelling KOHA-OAI-TEST:2174382018-07-30T23:53:32ZSystems of Reductions [electronic resource] / Benninghofen, Benjamin. author. Kemmerich, Susanne. author. Richter, Michael M. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1987.engGeneral concepts from universal algebra -- Finite sets of reductions -- Infinite sets of reductions -- Automata and reductions -- Deciding algebraic properties of finitely presented monoids.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.Algebra.Springer eBookshttp://dx.doi.org/10.1007/3-540-18598-4URN:ISBN:9783540480266
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic 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.
Algebra.
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.
Algebra.
spellingShingle 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.
Algebra.
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.
Algebra.
Benninghofen, Benjamin. author.
Kemmerich, Susanne. author.
Richter, Michael M. author.
SpringerLink (Online service)
Systems of Reductions [electronic resource] /
description General concepts from universal algebra -- Finite sets of reductions -- Infinite sets of reductions -- Automata and reductions -- Deciding algebraic properties of finitely presented monoids.
format Texto
topic_facet 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.
Algebra.
author Benninghofen, Benjamin. author.
Kemmerich, Susanne. author.
Richter, Michael M. author.
SpringerLink (Online service)
author_facet Benninghofen, Benjamin. author.
Kemmerich, Susanne. author.
Richter, Michael M. author.
SpringerLink (Online service)
author_sort Benninghofen, Benjamin. author.
title Systems of Reductions [electronic resource] /
title_short Systems of Reductions [electronic resource] /
title_full Systems of Reductions [electronic resource] /
title_fullStr Systems of Reductions [electronic resource] /
title_full_unstemmed Systems of Reductions [electronic resource] /
title_sort systems of reductions [electronic resource] /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1987
url http://dx.doi.org/10.1007/3-540-18598-4
work_keys_str_mv AT benninghofenbenjaminauthor systemsofreductionselectronicresource
AT kemmerichsusanneauthor systemsofreductionselectronicresource
AT richtermichaelmauthor systemsofreductionselectronicresource
AT springerlinkonlineservice systemsofreductionselectronicresource
_version_ 1756269752237424640

Similar Items