Hierarchical Combination

DOI10.1007/978-3-642-38574-2_17MaRDI QIDQ4928442zbMATH OpenOpenAlexFDO

Authors Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Publication date 14 June 2013

Published in Automated Deduction – CADE-24 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38574-2_17

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 3892608
• Hierarchical allocation
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Multilevel Hierarchical Matrices
• Hierarchical pattern classification
• Hierarchical Comprehensive Triangular Decomposition
• Hierarchical Unambiguity
• Hierarchical Unambiguity
• Parallel Processing and Applied Mathematics
• Hierarchical decision procedure

Cited in

(5)

• A fused hierarchy.
• Terminating non-disjoint combined unification
• Unification and matching in hierarchical combinations of syntactic theories
• scientific article; zbMATH DE number 1324441 (Why is no real title available?)
• Non-disjoint combined unification and closure by equational paramodulation

This page was built for publication: Hierarchical Combination

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