DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Term algebra
Term algebra
EM-Training for Weighted Aligned Hypergraph Bimorphisms
Domain Theory and the Logic of Observable Properties
Algebraic Implementation of Abstract Data Types*
Categories of Coalgebras with Monadic Homomorphisms Wolfram Kahl
Abstraction and Abstraction Refinement in the Verification Of
Syntax and Semantics in Algebra Jean-François Nicaud, Denis Bouhineau, Jean-Michel Gélis
Lecture Notes for MATH 770 : Foundations of Mathematics — University of Wisconsin – Madison, Fall 2005
Abstract Data Types
Algebraic Semantics Abstract Type Whose Values Are Lists of Algebraic Semantics Involves the Algebraic Integers: Specification of Data and Language Constructs
The Agda Universal Algebra Library Part 2: Structure Homomorphisms, Terms, Classes of Algebras, Subalgebras, and Homomorphic Images
Lectures on Universal Algebra
Domain Theory Corrected and Expanded Version Samson Abramsky1 and Achim Jung2
Arxiv:1611.02908V1 [Cs.LO] 9 Nov 2016 1
Equational Logic
The Term Rewriting Approach to Automated Theorem Proving
Logic in Context
Towards a Meaning of LIFE PARIS RESEARCH LABORATORY June 1991 Hassan A¨It-Kaci (Revised, October 1992) Andreas Podelski
Strongly Representable Atom Structures and Neat Embeddings
Top View
Chapter 2 Simple Equational Specifications
Monads and Modular Term Rewriting
Term Algebras with Length Function and Bounded Quantifier Alternation
A Concise Introduction to Mathematical Logic
A Categorical Framework for Translating Between Conceptual Hierarchies
Foundations of Algebraic Specification and Formal Software Development
Mathematical Logic (Math 570) Lecture Notes
Universal Algebra for Logics
Term Algebras Term Algebra Term Algebras Initiality
Volume 5 (2012), Number 3
A Constructive Semantics for Rewriting Logic
Order Sorted Computer Algebra and Coercions
Revisiting Term-Rewriting in Algebra
Chapter 12 ALGEBRAIC SEMANTICS
On the Finitizability Problem in Algebraic Logic; Recent Results
On Probabilistic Term Rewriting
Graph Factorization from Wikipedia, the Free Encyclopedia Contents
Universal Algebra in Unimath
Boole's Algebra Isn't Boolean Algebra Author(S): Theodore Hailperin Source: Mathematics Magazine, Vol
A Course in Universal Algebra
Programming with Abstract Data Types
A Course in Universal Algebra
Datatype Defining Rewrite Systems for Naturals and Integers
Elektrotechnik Und Informatik Analysis of Hypergraph Transformation
Theorem Proving and Algebra