Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem

Lecture Notes in Computer Science - Germany
doi 10.1007/11601548_23
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Paratantrasvabhava (I) -A Diagrammatic Account- (Continued)

JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
1968English

An Axiomatic Version of Zariski’s Patching Theorem

Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas
AlgebraGeometryApplied MathematicsAnalysisNumber TheoryComputational MathematicsTopology
2012English

Axiomatic Theory of Spectrum III: Semiregularities

Studia Mathematica
Mathematics
2000English

Young Diagrammatic Methods in Non-Commutative Invariant Theory

Nagoya Mathematical Journal
Mathematics
1991English

Principles of Reflection in Axiomatic Set Theory

Fundamenta Mathematicae
Number TheoryAlgebra
1960English

Axiomatic Domain Theory in Categories of Partial Maps

Computers and Mathematics with Applications
MathematicsComputational MathematicsSimulationModelingComputational Theory
1996English

A Vietoris Theorem in Shape Theory

Proceedings of the Japan Academy
1975English

Rewriting as a Special Case of Non-Commutative Gröbner Basis Theory

2000English

A System of Axiomatic Set Theory. Part III. Infinity and Enumerability. Analysis

Journal of Symbolic Logic
PhilosophyLogic
1942English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy