Search every field

9 merged results for "Colloquium on trees in Algebra and Programming"

Partial results: at least one source did not answer. Available results are shown rather than treating an upstream outage as zero matches.

Source status

  1. Untitled

    Author unknown · 1992 · Proc Natl Acad Sci U S A

    limited evidence Transparent signal score 48/100 · policy 1.0.0

    Found in europe-pmc · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  2. Linear Bounded Automata and Rewrite Systems: Influence of Initial Configurations on Decision Properties

    Anne-Cécile Caron · 1991

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in hal · DOI 10.1007/3-540-53982-4_5

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  3. Decidability of Reachability and Disjoint Union of Term Rewriting Systems

    Anne-Cécile Caron · 1992

    limited evidence Transparent signal score 43/100 · policy 1.0.0

    Found in hal · DOI 10.1007/3-540-55251-0_5

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  4. Modular Design of Domain-Specific Languages using Splittings of Catamorphisms

    Eric Badouel, Rodrigue Djeumen Djatcha · 2018

    uncertain Transparent signal score 51/100 · policy 1.0.0

    Found in hal · DOI 10.1007/978-3-030-02508-3_4

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  5. Algebraic synchronization trees and processes

    Luca Aceto, Arnaud Carayol, Zoltan Esik, Anna Ingolfsdottir · 2012

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in hal · DOI 10.1007/978-3-642-31585-5_7

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  6. Probabilistic analysis of an election algorithm in a tree

    Yves Métivier, Nasser Saheb-Djahromi · 1994

    uncertain Transparent signal score 54/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  7. The Kronecker product and local computations in graphs

    A. Bottreau, Yves Métivier · 1996

    uncertain Transparent signal score 54/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  8. Trees in Algebra and Programming

    Hélène Kirchner · 1998

    uncertain Transparent signal score 54/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  9. Unitary monoid with two generators: an algorithmic point of view

    Maxime Crochemore, Jean Néraud · 1990

    uncertain Transparent signal score 54/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer