Injectivity of composite functions

DOI10.1006/JSCO.1994.1026zbMath0805.68074OpenAlexW2018339354WikidataQ122400231 ScholiaQ122400231MaRDI QIDQ1333155

Michael I. Schwartzbach, Kim S. Larsen

Publication date: 26 January 1995

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1994.1026

zbMATH Keywords

algorithmcomposite functionsinjectivity of functionspropositional Horn clause

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Searching and sorting (68P10) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Other classical set theory (including functions, relations, and set algebra) (03E20)

This page was built for publication: Injectivity of composite functions