Simple Equational Specifications of Rational Arithmetic

Simple Equational Specifications of Rational Arithmetic

Show other versions (1)

We exhibit an initial specification of the rational numbers equipped with addition, subtraction, multiplication, greatest integer function, and absolute value. Our specification uses only the sort of rational numbers. It uses one hidden function; that function is unary. But it does not use an error...

書目詳細資料
主要作者:	Lawrence S. Moss
格式:	Article
語言:	English
出版:	Discrete Mathematics & Theoretical Computer Science 2001-01-01
叢編:	Discrete Mathematics & Theoretical Computer Science
主題:	equational specification hidden function symbols rational numbers [info.info-dm] computer science [cs]/discrete mathematics [cs.dm]
在線閱讀:	https://dmtcs.episciences.org/280/pdf

相似書籍

Arithmetics in β-numeration
由: Julien Bernat
出版: (2007-01-01)

Determinants of rational knots
由: Louis H. Kauffman, et al.
出版: (2009-01-01)

Asymptotic behaviour of a non-commutative rational series with a nonnegative linear representation
由: Philippe Dumas, et al.
出版: (2007-01-01)

The extended equivalence and equation solvability problems for groups
由: Gabor Horvath, et al.
出版: (2011-11-01)

Ore and Erdős type conditions for long cycles in balanced bipartite graphs
由: Janusz Adamus, et al.
出版: (2009-01-01)

A construction of small regular bipartite graphs of girth 8
由: Camino Balbuena
出版: (2009-01-01)

Computation of L_⊕ for several cubic Pisot numbers
由: Julien Bernat
出版: (2007-01-01)

Structure of spanning trees on the two-dimensional Sierpinski gasket
由: Shu-Chiuan Chang, et al.
出版: (2011-01-01)

Clique-transversal sets and weak 2-colorings in graphs of small maximum degree
由: Gábor Bacsó, et al.
出版: (2009-01-01)

On the k-restricted structure ratio in planar and outerplanar graphs
由: Gruia Călinescu, et al.
出版: (2008-01-01)

On quadratic residue codes and hyperelliptic curves
由: David Joyner
出版: (2008-01-01)

On the complexity of the balanced vertex ordering problem
由: Jan Kára, et al.
出版: (2007-01-01)

Regular languages and associative language descriptions
由: Marcella Anselmo, et al.
出版: (2007-01-01)

On the size of induced acyclic subgraphs in random digraphs
由: Joel Spencer, et al.
出版: (2008-01-01)

Generating involutions, derangements, and relatives by ECO
由: Vincent Vajnovszki
出版: (2010-01-01)

Tribes of cubic partial cubes
由: Sandi Klavžar, et al.
出版: (2007-01-01)

Leftmost derivations of propagating scattered context grammars: a new proof
由: Tomáš Masopust, et al.
出版: (2008-01-01)

A perimeter enumeration of column-convex polyominoes
由: Svjetlan Feretić
出版: (2007-01-01)

Analysis of some parameters for random nodes in priority trees
由: Alois Panholzer
出版: (2008-01-01)

Asymptotic enumeration on self-similar graphs with two boundary vertices
由: Elmar Teufl, et al.
出版: (2009-01-01)

Simultaneous generation for zeta values by the Markov-WZ method
由: Khodabakhsh Hessami Pilehrood, et al.
出版: (2008-01-01)

Gray code order for Lyndon words
由: Vincent Vajnovszki
出版: (2007-01-01)

q-Enumeration of words by their total variation
由: Ligia Loreta Cristea, et al.
出版: (2011-01-01)

On the Number of Balanced Words of Given Length and Height over a Two-Letter Alphabet
由: Nicolas Bédaride, et al.
出版: (2010-01-01)

The distribution of ascents of size d or more in compositions
由: Charlotte Brennan, et al.
出版: (2009-01-01)

The Variance of the Profile in Digital Search Trees
由: Ramin Kazemi, et al.
出版: (2011-09-01)

The analysis of find and versions of it
由: Diether Knof, et al.
出版: (2012-09-01)

Separating the k-party communication complexity hierarchy: an application of the Zarankiewicz problem
由: Thomas P. Hayes
出版: (2011-11-01)

Negative bases and automata
由: Christiane Frougny, et al.
出版: (2011-04-01)

Robot's hand and expansions in non-integer bases
由: Paola Loreti, et al.
出版: (2014-06-01)

On 4-valent Frobenius circulant graphs
由: Sanming Zhou
出版: (2012-10-01)

A chip-firing variation and a new proof of Cayley's formula
由: Peter Mark Kayll, et al.
出版: (2013-03-01)

Digital search trees with m trees: Level polynomials and insertion costs
由: Helmut Prodinger
出版: (2011-08-01)

On neighbour-distinguishing colourings from lists
由: Mirko Horňák, et al.
出版: (2012-08-01)

Deterministic Recurrent Communication and Synchronization in Restricted Sensor Network
由: Antonio Fernández Anta, et al.
出版: (2011-04-01)

List circular backbone colouring
由: Frederic Havet, et al.
出版: (2014-01-01)

The Erdős-Sós conjecture for geometric graphs
由: Luis Barba, et al.
出版: (2013-02-01)

Hereditary biclique-Helly graphs: recognition and maximal biclique enumeration
由: Martiniano Eguia, et al.
出版: (2013-02-01)

Secure frameproof codes through biclique covers
由: Hossein Hajiabolhassan, et al.
出版: (2012-12-01)

Irregular edge coloring of 2-regular graphs
由: Sylwia Cichacz, et al.
出版: (2011-02-01)