↓ Skip to main content
What is this page? Embed badge

Algebraic Informatics

Overview of attention for book
Cover of 'Algebraic Informatics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems
  3. Altmetric Badge
    Chapter 2 From Grammars and Automata to Algebras and Coalgebras
  4. Altmetric Badge
    Chapter 3 Theme and Variations on the Concatenation Product
  5. Altmetric Badge
    Chapter 4 Some Combinatorial Applications of Gröbner Bases
  6. Altmetric Badge
    Chapter 5 Comparing Necessary Conditions for Recognizability of Two-Dimensional Languages
  7. Altmetric Badge
    Chapter 6 Typed Monoids – An Eilenberg-Like Theorem for Non Regular Languages
  8. Altmetric Badge
    Chapter 7 Codes and Combinatorial Structures from Circular Planar Nearrings
  9. Altmetric Badge
    Chapter 8 Independence of Hyperlogarithms over Function Fields via Algebraic Combinatorics
  10. Altmetric Badge
    Chapter 9 Quantifier Elimination over Finite Fields Using Gröbner Bases
  11. Altmetric Badge
    Chapter 10 \(\mathbb F\) -Rank-Width of (Edge-Colored) Graphs
  12. Altmetric Badge
    Chapter 11 An Algorithm for Computing a Basis of a Finite Abelian Group
  13. Altmetric Badge
    Chapter 12 Rewriting in Varieties of Idempotent Semigroups
  14. Altmetric Badge
    Chapter 13 Simplifying Algebraic Functional Systems
  15. Altmetric Badge
    Chapter 14 Hadamard Matrices, Designs and Their Secret-Sharing Schemes
  16. Altmetric Badge
    Chapter 15 I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra
  17. Altmetric Badge
    Chapter 16 Variable Tree Automata over Infinite Ranked Alphabets
Attention for Chapter 15: I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra
Chapter number 15
Book title
Algebraic Informatics
Published by
Springer Berlin Heidelberg, January 2011
DOI 10.1007/978-3-642-21493-6_15
Book ISBNs
978-3-64-221492-9, 978-3-64-221493-6
Authors

Ulrich Loup, Erika Ábrahám

Editors

Franz Winkler

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.