Normal forms for connectedness in categories

DOI10.1016/S0168-0072(00)00048-8zbMath0989.18001MaRDI QIDQ5935993

Claudio Gutérrez

Publication date: 22 July 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

normal formconfluencerewriting

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Categorical semantics of formal languages (18C50) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories of machines, automata (18B20)

Related Items (4)

Reasoning with Graphs ⋮ Foundations of semantic web databases ⋮ Normal forms for binary relations ⋮ On graph reasoning

Cites Work

• Equivalences among Relational Expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Normal forms for connectedness in categories