Words starting with algebraof
Maybe these words will be useful:
- algebra of communicating processes — (theory) (ACP) Compare CCS.
- algebraic compiler and translator — (language) (ACT 1) A language and compiler for the Royal McBee LGP-30, designed around 1959, apparently by Clay S. Boswell, Jr, and programmed by Mel Kaye.
- algebraic interpretive dialogue — (language) (AID) A version of Joss II for the PDP-10.
- algebraic logic functional language — (language) (ALF) A language by Rudolf Opalla <[email protected]> which combines functional programming and logic programming techniques. ALF is based on Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. Any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. ALF uses narrowing and rewriting. ALF includes a compiler to Warren Abstract Machine code and run-time support.
- algebraic manipulation package — (mathematics, tool) (AMP) A symbolic mathematics program written in Modula-2, seen on CompuServe.
- algebraic specification language — 1. (language) (ASL) 2. (language) (ASF) A language for equational specification of abstract data types.
- algebra — Algebra is a type of mathematics in which letters are used to represent possible quantities.
- algebra of sets — a nonempty collection of sets having the property that the union of two sets of the collection is a set of the collection and the complement of each set of the collection is a set in the collection.
- algebraic — Algebraic equations, expressions, and principles are based on or use algebra.
- algebraic equation — an equation in the form of a polynomial having a finite number of terms and equated to zero, as 2 x 3 + 4 x 2 − x + 7 = 0.