Soundness, idempotence and commutativity of set-sharing
From MaRDI portal
Publication:4452614
DOI10.1017/S1471068401001338zbMATH Open1087.68530DBLPjournals/tplp/HillBZ02OpenAlexW2178196758WikidataQ60501252 ScholiaQ60501252MaRDI QIDQ4452614FDOQ4452614
Authors: Patricia M. Hill, Roberto Bagnara, Enea Zaffanella 
Publication date: 1 March 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=02
Recommendations
- Complete sets of reductions modulo associativity, commutativity and identity
- scientific article; zbMATH DE number 6005157
- scientific article; zbMATH DE number 1222415
- Sets of Commuting Derivations and Simplicity
- Commutativity of rings with identities on subsets
- The separability axiom and equal-sharing methods
- Normality theorems on shared sets
- Idempotents in compact semigroups and Ramsey theory
- Set-Menger and related properties
- Idempotent analysis and continuous semilattices
Cited In (8)
- Functional and Logic Programming
- Title not available (Why is that?)
- Parallel Logic Programming: A Sequel
- An algebraic approach to sharing analysis of logic programs
- Set-sharing is redundant for pair-sharing
- Non-strict independence-based program parallelization using sharing and freeness information
- Collapsing Closures
- Finite-tree analysis for constraint logic-based languages
This page was built for publication: Soundness, idempotence and commutativity of set-sharing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452614)
