Logicality of conditional rewrite systems

DOI10.1016/S0304-3975(99)00210-8MaRDI QIDQ1978646zbMATH OpenFDO

Authors Yanyan Li

Publication date 4 June 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

logicalityconditional rewrite systemsconditional equational logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4090846
• scientific article; zbMATH DE number 4092821
• Conditional rewriting logic: Deduction, models and concurrency
• scientific article; zbMATH DE number 4092758
• Negation with logical variables in conditional rewriting

Cites work

• scientific article; zbMATH DE number 4053008 (Why is no real title available?)
• scientific article; zbMATH DE number 4092758 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1332638 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1380895 (Why is no real title available?)
• A rationale for conditional equational programming
• Completeness of calculii for axiomatically defined classes of algebras
• Completeness results for basic narrowing
• Completion-time optimization of rewrite-time goal solving
• Conditional rewrite rules
• Conditional rewrite rules: Confluence and termination
• Open problems in rewriting
• Termination proofs of well-moded logic programs via conditional rewrite systems

Cited in

(16)

• Normal forms and normal theories in conditional rewriting
• Shallow confluence of conditional term rewriting systems
• A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems
• Logic based structure rewriting systems
• Strict coherence of conditional rewriting modulo axioms
• scientific article; zbMATH DE number 4092758 (Why is no real title available?)
• scientific article; zbMATH DE number 2090037 (Why is no real title available?)
• Conditional complexity
• Some general results about proof normalization
• Conditional rewrite rule systems with built-in arithmetic and induction
• Negation with logical variables in conditional rewriting
• scientific article; zbMATH DE number 4060702 (Why is no real title available?)
• scientific article; zbMATH DE number 4090846 (Why is no real title available?)
• Conditional rewriting logic: Deduction, models and concurrency
• scientific article; zbMATH DE number 4090852 (Why is no real title available?)
• scientific article; zbMATH DE number 4092821 (Why is no real title available?)

This page was built for publication: Logicality of conditional rewrite systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978646)