On the public citation graph

A Linear-Logic Semantics for Constraint Handling Rules

0 signed · 42 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.1006/inco.2000.3002openalex-snapshot

Linear Concurrent Constraint Programming: Operational and Phase Semantics

inferredcites →https://doi.org/10.1007/3-540-57182-5_12openalex-snapshot

A taste of linear logic

inferredcites →https://doi.org/10.1007/3-540-57182-5_7openalex-snapshot

Action calculi, or syntactic action structures

inferredcites →https://doi.org/10.1007/978-3-662-05138-2openalex-snapshot

Essentials of Constraint Programming

inferredcites →https://doi.org/10.1007/bfb0014329openalex-snapshot

Programming in Lygon: An overview

inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot

Linear logic

inferredcites →https://doi.org/10.1016/0304-3975(88)90001-1openalex-snapshot

Fiftieth volume of theoretical computer science

inferredcites →https://doi.org/10.1016/s0743-1066(98)10005-5openalex-snapshot

Theory and practice of constraint handling rules

inferredcites →https://doi.org/10.1017/cbo9780511629150.002openalex-snapshot

Linear Logic: its syntax and semantics

inferredcites →https://doi.org/10.1017/s1471068405002541openalex-snapshot

Optimal union-find in Constraint Handling Rules

inferredcites →https://doi.org/10.1023/a:1009842826135openalex-snapshot

Confluence and Semantics of Constraint Simplification Rules

inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot

Lecture Notes in Computer Science 1205

inferredcites →https://doi.org/10.1145/62.2160openalex-snapshot

Worst-case Analysis of Set Union Algorithms

inferredcites →https://doi.org/10.1145/97945.97953openalex-snapshot

LO and behold! Concurrent structured processes

inferredcites →https://doi.org/10.1145/97946.97953openalex-snapshot

LO and behold! Concurrent structured processes

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11562931_14openalex-snapshot

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction

inferred← citeshttps://doi.org/10.1007/978-1-4939-1887-4_25openalex-snapshot

Constraint Programming for Context Comprehension

inferred← citeshttps://doi.org/10.1007/978-3-319-19686-2_3openalex-snapshot

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

inferred← citeshttps://doi.org/10.1007/978-3-540-69619-3_13openalex-snapshot

On the Implementation of Global Abduction

inferred← citeshttps://doi.org/10.1007/978-3-540-72200-7_18openalex-snapshot

A Unified Semantics for Constraint Handling Rules in Transaction Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-02846-5_41openalex-snapshot

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

inferred← citeshttps://doi.org/10.1007/s10601-013-9145-3openalex-snapshot

Models and emerging trends of concurrent constraint programming

inferred← citeshttps://doi.org/10.1016/j.jal.2008.10.004openalex-snapshot

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

inferred← citeshttps://doi.org/10.1016/j.tcs.2009.07.043openalex-snapshot

LMNtal as a hierarchical logic programming language

inferred← citeshttps://doi.org/10.1016/s1574-6526(06)80017-9openalex-snapshot

Constraints in Procedural and Concurrent Languages

inferred← citeshttps://doi.org/10.1016/s1574-6526(06)x8001-xopenalex-snapshot

Handbook of Constraint Programming

inferred← citeshttps://doi.org/10.1017/s1471068409990123openalex-snapshot

As time goes by: Constraint Handling Rules

inferred← citeshttps://doi.org/10.1017/s147106841000030xopenalex-snapshot

A complete and terminating execution model for Constraint Handling Rules

inferred← citeshttps://doi.org/10.1017/s1471068410000438openalex-snapshot

Analysing graph transformation systems through constraint handling rules

inferred← citeshttps://doi.org/10.1017/s1471068414000167openalex-snapshot

A Linear Logic Programming Language for Concurrent Programming over Graph Structures

inferred← citeshttps://doi.org/10.1017/s1471068416000041openalex-snapshot

Programming in logic without logic programming

inferred← citeshttps://doi.org/10.1145/1069774.1069794openalex-snapshot

A compositional semantics for CHR

inferred← citeshttps://doi.org/10.1145/1140335.1140337openalex-snapshot

Constraint handling rules

inferred← citeshttps://doi.org/10.1145/1273920.1273924openalex-snapshot

User-definable rule priorities for CHR

inferred← citeshttps://doi.org/10.1145/1462179.1462183openalex-snapshot

A compositional semantics for CHR

inferred← citeshttps://doi.org/10.1145/1836089.1836097openalex-snapshot

Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules

inferred← citeshttps://doi.org/10.1145/2422085.2422086openalex-snapshot

Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction

inferred← citeshttps://doi.org/10.1145/2643135.2643150openalex-snapshot

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs

inferred← citeshttps://doi.org/10.1145/3218818openalex-snapshot

An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules

inferred← citeshttps://doi.org/10.18725/oparu-3192openalex-snapshot

A unified analytical foundation for constraint handling rules

inferred← citeshttps://doi.org/10.48550/arxiv.0906.4474openalex-snapshot

As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007

inferred← citeshttps://doi.org/10.48550/arxiv.1006.1497openalex-snapshot

Analyzing Graph Transformation Systems through Constraint Handling Rules

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.