On the public citation graph

Using automated reasoning tools: A study of the semigroupF 2 B 2

https://doi.org/10.1007/bf02575007
0 signed · 20 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-642-55481-0openalex-snapshot
Programming in Prolog
inferredcites →https://doi.org/10.1007/978-94-009-3839-7_19openalex-snapshot
On the Lattice of Varieties of Completely Regular Semigroups
inferredcites →https://doi.org/10.1007/bfb0083436openalex-snapshot
Automated theorem proving applied to the theory of semigroups
inferredcites →https://doi.org/10.1016/s0736-5853(86)80087-9openalex-snapshot
Automated Reasoning: Introduction and Applications

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-52885-7_109openalex-snapshot
Automated reasoning contributes to mathematics and logic
inferred← citeshttps://doi.org/10.1007/3-540-52885-7_77openalex-snapshot
Parallelizing the closure computation in automated deduction
inferred← citeshttps://doi.org/10.1007/3-540-55425-4_6openalex-snapshot
Experiments with Roo, a parallel automated deduction system
inferred← citeshttps://doi.org/10.1007/978-3-540-32254-2_13openalex-snapshot
The Flowering of Automated Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-642-60539-0_9openalex-snapshot
Algorithms for computing finite semigroups
inferred← citeshttps://doi.org/10.1007/978-94-011-3488-0_15openalex-snapshot
Automated Reasoning and Bledsoe’s Dream for the Field
inferred← citeshttps://doi.org/10.1007/bf01407834openalex-snapshot
The muse approach to Or-parallel prolog
inferred← citeshttps://doi.org/10.1007/bf01543481openalex-snapshot
The application of automated reasoning to questions in mathematics and logic
inferred← citeshttps://doi.org/10.1007/bf03037208openalex-snapshot
The Aurora or-parallel Prolog system
inferred← citeshttps://doi.org/10.1007/bf03037528openalex-snapshot
Performance of Muse on switch-based multiprocessor machines
inferred← citeshttps://doi.org/10.1007/bfb0012841openalex-snapshot
Exploitation of parallelism in prototypical deduction problems
inferred← citeshttps://doi.org/10.1007/bfb0013052openalex-snapshot
Controlling redundancy in large search spaces: Argonne-style theorem proving through the years
inferred← citeshttps://doi.org/10.1007/bfb0083436openalex-snapshot
Automated theorem proving applied to the theory of semigroups
inferred← citeshttps://doi.org/10.1080/00927870902911797openalex-snapshot
Computer Solutions of Problems in Inverse Semigroups
inferred← citeshttps://doi.org/10.1109/hpdc.1993.263858openalex-snapshot
p4-Linda: a portable implementation of Linda
inferred← citeshttps://doi.org/10.2172/5796402openalex-snapshot
Roo: A parallel theorem prover
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.