Simple Equational Specifications of Rational Arithmetic

Simple Equational Specifications of Rational Arithmetic

Hiển thị phiên bản (1) khác

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...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Lawrence S. Moss
Định dạng:	Bài viết
Ngôn ngữ:	English
Được phát hành:	Discrete Mathematics & Theoretical Computer Science 2001-01-01
Loạt:	Discrete Mathematics & Theoretical Computer Science
Những chủ đề:	equational specification hidden function symbols rational numbers [info.info-dm] computer science [cs]/discrete mathematics [cs.dm]
Truy cập trực tuyến:	https://dmtcs.episciences.org/280/pdf

Những quyển sách tương tự

Arithmetics in β-numeration
Bằng: Julien Bernat
Được phát hành: (2007-01-01)

Determinants of rational knots
Bằng: Louis H. Kauffman, et al.
Được phát hành: (2009-01-01)

Asymptotic behaviour of a non-commutative rational series with a nonnegative linear representation
Bằng: Philippe Dumas, et al.
Được phát hành: (2007-01-01)

The extended equivalence and equation solvability problems for groups
Bằng: Gabor Horvath, et al.
Được phát hành: (2011-11-01)

Ore and Erdős type conditions for long cycles in balanced bipartite graphs
Bằng: Janusz Adamus, et al.
Được phát hành: (2009-01-01)

A construction of small regular bipartite graphs of girth 8
Bằng: Camino Balbuena
Được phát hành: (2009-01-01)

Computation of L_⊕ for several cubic Pisot numbers
Bằng: Julien Bernat
Được phát hành: (2007-01-01)

Structure of spanning trees on the two-dimensional Sierpinski gasket
Bằng: Shu-Chiuan Chang, et al.
Được phát hành: (2011-01-01)

Clique-transversal sets and weak 2-colorings in graphs of small maximum degree
Bằng: Gábor Bacsó, et al.
Được phát hành: (2009-01-01)

On the k-restricted structure ratio in planar and outerplanar graphs
Bằng: Gruia Călinescu, et al.
Được phát hành: (2008-01-01)

On quadratic residue codes and hyperelliptic curves
Bằng: David Joyner
Được phát hành: (2008-01-01)

On the complexity of the balanced vertex ordering problem
Bằng: Jan Kára, et al.
Được phát hành: (2007-01-01)

Regular languages and associative language descriptions
Bằng: Marcella Anselmo, et al.
Được phát hành: (2007-01-01)

On the size of induced acyclic subgraphs in random digraphs
Bằng: Joel Spencer, et al.
Được phát hành: (2008-01-01)

Generating involutions, derangements, and relatives by ECO
Bằng: Vincent Vajnovszki
Được phát hành: (2010-01-01)

Tribes of cubic partial cubes
Bằng: Sandi Klavžar, et al.
Được phát hành: (2007-01-01)

Leftmost derivations of propagating scattered context grammars: a new proof
Bằng: Tomáš Masopust, et al.
Được phát hành: (2008-01-01)

A perimeter enumeration of column-convex polyominoes
Bằng: Svjetlan Feretić
Được phát hành: (2007-01-01)

Analysis of some parameters for random nodes in priority trees
Bằng: Alois Panholzer
Được phát hành: (2008-01-01)

Asymptotic enumeration on self-similar graphs with two boundary vertices
Bằng: Elmar Teufl, et al.
Được phát hành: (2009-01-01)

Simultaneous generation for zeta values by the Markov-WZ method
Bằng: Khodabakhsh Hessami Pilehrood, et al.
Được phát hành: (2008-01-01)

Gray code order for Lyndon words
Bằng: Vincent Vajnovszki
Được phát hành: (2007-01-01)

q-Enumeration of words by their total variation
Bằng: Ligia Loreta Cristea, et al.
Được phát hành: (2011-01-01)

On the Number of Balanced Words of Given Length and Height over a Two-Letter Alphabet
Bằng: Nicolas Bédaride, et al.
Được phát hành: (2010-01-01)

The distribution of ascents of size d or more in compositions
Bằng: Charlotte Brennan, et al.
Được phát hành: (2009-01-01)

The Variance of the Profile in Digital Search Trees
Bằng: Ramin Kazemi, et al.
Được phát hành: (2011-09-01)

The analysis of find and versions of it
Bằng: Diether Knof, et al.
Được phát hành: (2012-09-01)

Separating the k-party communication complexity hierarchy: an application of the Zarankiewicz problem
Bằng: Thomas P. Hayes
Được phát hành: (2011-11-01)

Negative bases and automata
Bằng: Christiane Frougny, et al.
Được phát hành: (2011-04-01)

Robot's hand and expansions in non-integer bases
Bằng: Paola Loreti, et al.
Được phát hành: (2014-06-01)

On 4-valent Frobenius circulant graphs
Bằng: Sanming Zhou
Được phát hành: (2012-10-01)

A chip-firing variation and a new proof of Cayley's formula
Bằng: Peter Mark Kayll, et al.
Được phát hành: (2013-03-01)

Digital search trees with m trees: Level polynomials and insertion costs
Bằng: Helmut Prodinger
Được phát hành: (2011-08-01)

On neighbour-distinguishing colourings from lists
Bằng: Mirko Horňák, et al.
Được phát hành: (2012-08-01)

Deterministic Recurrent Communication and Synchronization in Restricted Sensor Network
Bằng: Antonio Fernández Anta, et al.
Được phát hành: (2011-04-01)

List circular backbone colouring
Bằng: Frederic Havet, et al.
Được phát hành: (2014-01-01)

The Erdős-Sós conjecture for geometric graphs
Bằng: Luis Barba, et al.
Được phát hành: (2013-02-01)

Hereditary biclique-Helly graphs: recognition and maximal biclique enumeration
Bằng: Martiniano Eguia, et al.
Được phát hành: (2013-02-01)

Secure frameproof codes through biclique covers
Bằng: Hossein Hajiabolhassan, et al.
Được phát hành: (2012-12-01)

Irregular edge coloring of 2-regular graphs
Bằng: Sylwia Cichacz, et al.
Được phát hành: (2011-02-01)