On the public citation graph

Linear objects: Logical processes with built-in inheritance

https://doi.org/10.1007/bf03037173
0 signed · 218 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.1994.1036openalex-snapshot
Logic Programming in a Fragment of Intuitionistic Linear Logic
inferredcites →https://doi.org/10.1007/3-540-16479-0_17openalex-snapshot
Guarded horn clauses
inferredcites →https://doi.org/10.1007/bf00244944openalex-snapshot
Non-Horn clause logic programming without contrapositives
inferredcites →https://doi.org/10.1007/bf03037017openalex-snapshot
On the founding of this journal
inferredcites →https://doi.org/10.1007/bf03037020openalex-snapshot
Object oriented programming in Concurrent Prolog
inferredcites →https://doi.org/10.1007/bf03037203openalex-snapshot
A’UM —A stream-based concurrent object-oriented language—
inferredcites →https://doi.org/10.1007/bfb0038690openalex-snapshot
Logic programming with sequent systems
inferredcites →https://doi.org/10.1016/0168-0072(91)90068-wopenalex-snapshot
Uniform proofs as a foundation for logic programming
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/0743-1066(84)90004-9openalex-snapshot
Equality, types, modules, and (why not?) generics for logic programming
inferredcites →https://doi.org/10.1016/0743-1066(86)90013-0openalex-snapshot
Login: a logic programming language with built-in inheritance
inferredcites →https://doi.org/10.1016/0743-1066(89)90031-9openalex-snapshot
A logical analysis of modules in logic programming
inferredcites →https://doi.org/10.1145/117954.117971openalex-snapshot
Communication as fair distribution of knowledge
inferredcites →https://doi.org/10.1145/73721.73757openalex-snapshot
C-logic of complex objects
inferredcites →https://doi.org/10.1145/97945.97953openalex-snapshot
LO and behold! Concurrent structured processes
inferredcites →https://doi.org/10.21236/ada185172openalex-snapshot
Near-Horn Prolog.

What points at this work

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

inferred← citeshttps://doi.org/10.1002/j.1096-9942.1995.tb00020.xopenalex-snapshot
Toward Foundations of Concurrent Object‐Oriented Programming‐Types and Language Design
inferred← citeshttps://doi.org/10.1006/inco.1994.1036openalex-snapshot
Logic Programming in a Fragment of Intuitionistic Linear Logic
inferred← citeshttps://doi.org/10.1006/inco.2000.3002openalex-snapshot
Linear Concurrent Constraint Programming: Operational and Phase Semantics
inferred← citeshttps://doi.org/10.1007/11538363_14openalex-snapshot
Permutative Logic
inferred← citeshttps://doi.org/10.1007/11829263_4openalex-snapshot
Computational Logic in an Object-Oriented World
inferred← citeshttps://doi.org/10.1007/3-540-44716-4_9openalex-snapshot
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_17openalex-snapshot
Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_20openalex-snapshot
Combining Mobile Processes and Declarative Programming
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_82openalex-snapshot
Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects
inferred← citeshttps://doi.org/10.1007/3-540-45104-8_5openalex-snapshot
On a Uniform Representation of Transformation Systems
inferred← citeshttps://doi.org/10.1007/3-540-45263-x_6openalex-snapshot
On Timed Coordination Languages
inferred← citeshttps://doi.org/10.1007/3-540-45397-0_17openalex-snapshot
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study
inferred← citeshttps://doi.org/10.1007/3-540-45523-x_2openalex-snapshot
Gamma and the Chemical Reaction Model: Fifteen Years After
inferred← citeshttps://doi.org/10.1007/3-540-45523-x_3openalex-snapshot
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning
inferred← citeshttps://doi.org/10.1007/3-540-45619-8_21openalex-snapshot
A Purely Logical Account of Sequentiality in Proof Search
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_14openalex-snapshot
Logic for Component-Based Software Development
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_5openalex-snapshot
Logic Programming Languages for the Internet
inferred← citeshttps://doi.org/10.1007/3-540-45635-x_29openalex-snapshot
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
inferred← citeshttps://doi.org/10.1007/3-540-45719-4_5openalex-snapshot
Higher-Order Quantification and Proof Search*
inferred← citeshttps://doi.org/10.1007/3-540-45793-3_29openalex-snapshot
Travelling on Designs
inferred← citeshttps://doi.org/10.1007/3-540-48199-0_5openalex-snapshot
Deductive Parsing of Visual Languages
inferred← citeshttps://doi.org/10.1007/3-540-48242-3_19openalex-snapshot
Resource Management in Linear Logic Proof Search Revisited
inferred← citeshttps://doi.org/10.1007/3-540-48919-3_11openalex-snapshot
On the Expressiveness of Coordination Models
inferred← citeshttps://doi.org/10.1007/3-540-48919-3_12openalex-snapshot
Comparing Software Architectures for Coordination Languages
inferred← citeshttps://doi.org/10.1007/3-540-54430-5_95openalex-snapshot
Extended Horn clauses: the framework and some semantics
inferred← citeshttps://doi.org/10.1007/3-540-54444-5_105openalex-snapshot
U-log, an ordered sorted logic with typed attributes
inferred← citeshttps://doi.org/10.1007/3-540-55160-3_38openalex-snapshot
Parallel logic programming using the Linda model of computation
inferred← citeshttps://doi.org/10.1007/3-540-55460-2_8openalex-snapshot
Objects in a logic programming framework
inferred← citeshttps://doi.org/10.1007/3-540-55613-3_8openalex-snapshot
Dynamic programming as multiagent programming
inferred← citeshttps://doi.org/10.1007/3-540-56282-6_12openalex-snapshot
Object-oriented programming in Gödel: An experiment
inferred← citeshttps://doi.org/10.1007/3-540-56454-3_13openalex-snapshot
The π-calculus as a theory in linear logic: Preliminary results
inferred← citeshttps://doi.org/10.1007/3-540-56610-4_64openalex-snapshot
True concurrency semantics for a linear logic programming language with broadcast communication
inferred← citeshttps://doi.org/10.1007/3-540-58025-5_50openalex-snapshot
Some experimental results in implementing a logic language with multi-head clauses on a Transputer architecture
inferred← citeshttps://doi.org/10.1007/3-540-58402-1_2openalex-snapshot
Specifications using multiple-conclusion logic programs
inferred← citeshttps://doi.org/10.1007/3-540-58431-5_11openalex-snapshot
Concurrent logic programming as uniform linear proofs
inferred← citeshttps://doi.org/10.1007/3-540-58792-6_14openalex-snapshot
Logic programming and logic grammars with first-order continuations
inferred← citeshttps://doi.org/10.1007/3-540-59155-9_6openalex-snapshot
Constraint handling rules
inferred← citeshttps://doi.org/10.1007/3-540-59450-7_6openalex-snapshot
On the operational semantics of a coordination language
inferred← citeshttps://doi.org/10.1007/3-540-60608-4_41openalex-snapshot
Deductive and object data languages: A quest for integration
inferred← citeshttps://doi.org/10.1007/3-540-60983-0_5openalex-snapshot
Efficient resource management for linear logic proof search
inferred← citeshttps://doi.org/10.1007/3-540-60983-0_6openalex-snapshot
A logic language based on GAMMA-like multiset rewriting
inferred← citeshttps://doi.org/10.1007/3-540-61052-9_38openalex-snapshot
The IWIM model for coordination of concurrent activities
inferred← citeshttps://doi.org/10.1007/3-540-61052-9_41openalex-snapshot
Enhancing coordination and modularity mechanisms for a language with objects-as-multisets
inferred← citeshttps://doi.org/10.1007/3-540-61487-7_26openalex-snapshot
Proofs, concurrent objects and computations in a FILL framework
inferred← citeshttps://doi.org/10.1007/3-540-61551-2_89openalex-snapshot
Logical semantics of concurrent constraint programming
inferred← citeshttps://doi.org/10.1007/3-540-61735-3_10openalex-snapshot
A language for the logical specification of processes and relations
inferred← citeshttps://doi.org/10.1007/3-540-61735-3_15openalex-snapshot
Abstractions of uniform proofs
inferred← citeshttps://doi.org/10.1007/3-540-61756-6_77openalex-snapshot
GOTA algebras: A specification formalism for inheritance and object hierarchies
inferred← citeshttps://doi.org/10.1007/3-540-62503-8_1openalex-snapshot
Logical and operational methods in the analysis of programs and systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_31openalex-snapshot
Distributed and Concurrent Objects Based on Linear Logic
inferred← citeshttps://doi.org/10.1007/978-1-4471-3078-9_11openalex-snapshot
Sequentiality by Linear Implication and Universal Quantification
inferred← citeshttps://doi.org/10.1007/978-1-4471-3494-7_22openalex-snapshot
Using a Prolog Prototype for Designing an Object Oriented Scheme
inferred← citeshttps://doi.org/10.1007/978-3-540-24634-3_17openalex-snapshot
CoorSet: A Development Environment for Associatively Coordinated Components
inferred← citeshttps://doi.org/10.1007/978-3-540-24634-3_18openalex-snapshot
On the Expressiveness of Absolute-Time Coordination Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-44972-0_7openalex-snapshot
A Perspective on Multiagent Coordination Models
inferred← citeshttps://doi.org/10.1007/978-3-540-74915-8_31openalex-snapshot
From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-75560-9_9openalex-snapshot
Least and Greatest Fixed Points in Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-77050-3_45openalex-snapshot
Closures and Modules Within Linear Logic Concurrent Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_3openalex-snapshot
Constraint Handling Rules
inferred← citeshttps://doi.org/10.1007/978-3-540-92188-2_10openalex-snapshot
Coordination: Reo, Nets, and Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-14309-0_12openalex-snapshot
Proof-Theoretic and Higher-Order Extensions of Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-14309-0_7openalex-snapshot
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-58041-3_3openalex-snapshot
Linear Logic: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-642-58622-4_11openalex-snapshot
Sequent Calculus and the Specification of Computation
inferred← citeshttps://doi.org/10.1007/978-3-642-58622-4_7openalex-snapshot
On the Meaning of Logical Rules I: Syntax Versus Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-59048-1_8openalex-snapshot
Logic Programming and Meta-Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-60085-2_1openalex-snapshot
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-78486-6_97openalex-snapshot
Coordination and Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-79361-5_9openalex-snapshot
Linear Logic and Computation: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-642-85983-0_11openalex-snapshot
Resolution Strategies for the Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-93501-5_3openalex-snapshot
ECRC Research Directions and Results
inferred← citeshttps://doi.org/10.1007/978-3-662-44471-9_6openalex-snapshot
From Linear Types to Behavioural Types and Model Checking
inferred← citeshttps://doi.org/10.1007/978-94-017-0464-9_4openalex-snapshot
Goal-Oriented Deductions
inferred← citeshttps://doi.org/10.1007/978-94-017-1317-7_1openalex-snapshot
Action and Change in Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-2798-3_2openalex-snapshot
Transfer of Sequent Calculus Strategies to Resolution for S4
inferred← citeshttps://doi.org/10.1007/bf01051768openalex-snapshot
Resolution calculus for the first order linear logic
inferred← citeshttps://doi.org/10.1007/bf01211602openalex-snapshot
Asynchronous communication model based on linear logic
inferred← citeshttps://doi.org/10.1007/bf01530895openalex-snapshot
Computing change and specificity with equational logic programs
inferred← citeshttps://doi.org/10.1007/bf02939524openalex-snapshot
The structure and semantics of an object-oriented logic programming language: SCKE
inferred← citeshttps://doi.org/10.1007/bf03037345openalex-snapshot
Distributed programming with Logic Tuple Spaces
inferred← citeshttps://doi.org/10.1007/bf03037436openalex-snapshot
Linear logic for deductive databases
inferred← citeshttps://doi.org/10.1007/bf03037533openalex-snapshot
Blackboard relations in the μLog coordination model
inferred← citeshttps://doi.org/10.1007/bfb0013045openalex-snapshot
On deductive planning and the frame problem
inferred← citeshttps://doi.org/10.1007/bfb0013046openalex-snapshot
On resolution in fragments of classical linear logic (extended abstract)
inferred← citeshttps://doi.org/10.1007/bfb0013083openalex-snapshot
Linear Objects: A logic framework for open system programming
inferred← citeshttps://doi.org/10.1007/bfb0014329openalex-snapshot
Programming in Lygon: An overview
inferred← citeshttps://doi.org/10.1007/bfb0018661openalex-snapshot
Asynchronous communication model based on linear logic
inferred← citeshttps://doi.org/10.1007/bfb0021986openalex-snapshot
Towards resource handling in logic programming: The PPL framework and its semantics
inferred← citeshttps://doi.org/10.1007/bfb0023870openalex-snapshot
Automated deduction in additive and multiplicative linear logic
inferred← citeshttps://doi.org/10.1007/bfb0024964openalex-snapshot
Enhancing software engineering capabilities of PROLOG by object-oriented concepts
inferred← citeshttps://doi.org/10.1007/bfb0026568openalex-snapshot
Higher-order concurrent linear logic programming
inferred← citeshttps://doi.org/10.1007/bfb0028028openalex-snapshot
Concurrent constraint programming and non-commutative logic
inferred← citeshttps://doi.org/10.1007/bfb0038690openalex-snapshot
Logic programming with sequent systems
inferred← citeshttps://doi.org/10.1007/bfb0052151openalex-snapshot
Linear logic as logic programming: An abstract
inferred← citeshttps://doi.org/10.1007/bfb0052176openalex-snapshot
Methods as assertions
inferred← citeshttps://doi.org/10.1007/bfb0055494openalex-snapshot
The state of change: A survey
inferred← citeshttps://doi.org/10.1007/bfb0057462openalex-snapshot
A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming
inferred← citeshttps://doi.org/10.1007/bfb0095071openalex-snapshot
Fril++ a language for object-oriented programming with uncertainty
inferred← citeshttps://doi.org/10.1007/s13347-019-00370-xopenalex-snapshot
Reciprocal Influences Between Proof Theory and Logic Programming
inferred← citeshttps://doi.org/10.1016/0168-0072(92)90075-bopenalex-snapshot
Decision problems for propositional linear logic
inferred← citeshttps://doi.org/10.1016/0168-0072(93)90041-bopenalex-snapshot
Linearizing intuitionistic implication
inferred← citeshttps://doi.org/10.1016/0168-0072(93)90093-sopenalex-snapshot
On the unity of logic
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00105-7openalex-snapshot
On proof normalization in linear logic
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00107-3openalex-snapshot
First-order linear logic without modalities is NEXPTIME-hard
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00108-1openalex-snapshot
Constant-only multiplicative linear logic is NP-complete
inferred← citeshttps://doi.org/10.1016/0304-3975(96)00045-xopenalex-snapshot
Forum: A multiple-conclusion specification logic
inferred← citeshttps://doi.org/10.1016/0743-1066(94)90032-9openalex-snapshot
Modularity in Logic Programming
inferred← citeshttps://doi.org/10.1016/0950-5849(96)01093-2openalex-snapshot
Concurrent object-oriented programming using term graph rewriting techniques
inferred← citeshttps://doi.org/10.1016/j.apal.2004.11.002openalex-snapshot
Polarized and focalized linear and classical proofs
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.04.034openalex-snapshot
On the Expressiveness of Relative-Timed Coordination Models
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.05.043openalex-snapshot
Relating State-Based and Process-Based Concurrency through Linear Logic
inferred← citeshttps://doi.org/10.1016/j.ic.2008.11.006openalex-snapshot
Relating state-based and process-based concurrency through linear logic (full-version)
inferred← citeshttps://doi.org/10.1016/j.jsc.2004.04.002openalex-snapshot
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
inferred← citeshttps://doi.org/10.1016/j.scico.2005.10.011openalex-snapshot
On the expressiveness of timed coordination models
inferred← citeshttps://doi.org/10.1016/j.scico.2010.05.004openalex-snapshot
Channel-based coordination via constraint satisfaction
inferred← citeshttps://doi.org/10.1016/j.scico.2017.06.002openalex-snapshot
Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.07.042openalex-snapshot
Structure of proofs and the complexity of cut elimination
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.10.042openalex-snapshot
Interactive observability in Ludics: The geometry of tests
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.07.041openalex-snapshot
Focusing and polarization in linear, intuitionistic, and classical logics
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/s0020-0190(96)00126-3openalex-snapshot
Semantic data modelling using linear logic
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60208-9openalex-snapshot
Coordination Models and Languages
inferred← citeshttps://doi.org/10.1016/s0096-0551(01)00008-xopenalex-snapshot
A declarative coordination language
inferred← citeshttps://doi.org/10.1016/s0096-0551(96)00007-0openalex-snapshot
Towards resource handling in logic programming: The PPL framework and fits semantics
inferred← citeshttps://doi.org/10.1016/s0096-0551(96)00008-2openalex-snapshot
A proposal to merge Multiple Tuple Spaces, Object Orientation, and Logic Programming
inferred← citeshttps://doi.org/10.1016/s0096-0551(96)00009-4openalex-snapshot
Rule-based coordination of logic programs
inferred← citeshttps://doi.org/10.1016/s0096-0551(97)00001-5openalex-snapshot
Distributed logic objects
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00086-2openalex-snapshot
Comparing coordination models and architectures using embeddings
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00087-4openalex-snapshot
On the expressiveness of coordination via shared dataspaces
inferred← citeshttps://doi.org/10.1016/s0167-6423(98)00021-5openalex-snapshot
A refinement calculus for tuple spaces
inferred← citeshttps://doi.org/10.1016/s0167-8191(98)00045-3openalex-snapshot
Distributed and parallel systems engineering in MANIFOLD
inferred← citeshttps://doi.org/10.1016/s0168-0072(02)00042-8openalex-snapshot
The additive multiboxes
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00024-4openalex-snapshot
Proofs as computations in linear logic
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00013-5openalex-snapshot
A declarative framework for object-oriented programming with genetic inheritance
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00151-5openalex-snapshot
Refining multiset transformers
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00169-3openalex-snapshot
Proof-search in type-theoretic languages: an introduction
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00173-5openalex-snapshot
Efficient resource management for linear logic proof search
inferred← citeshttps://doi.org/10.1016/s0743-1066(96)00104-5openalex-snapshot
On integrating objects and relations using multimethods
inferred← citeshttps://doi.org/10.1016/s0890-5401(03)00084-1openalex-snapshot
Non-commutative logic III: focusing proofs
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00036-2openalex-snapshot
Distributed Logic Objects
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00150-1openalex-snapshot
On the Relations between Disjunctive and Linear Logic Programming
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80590-5openalex-snapshot
Language design issues for agents based on linear logic
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)01136-9openalex-snapshot
Forward and Backward Chaining in Linear Logic (Extended Abstract)
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80111-2openalex-snapshot
Translating a Linear Logic Programming Language into Java
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80112-4openalex-snapshot
A Static Analysis Method for a Classical Linear Logic Programming Language
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80418-9openalex-snapshot
Forum as a Logic Programming Language: Preliminary Report
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/cbo9780511550850.004openalex-snapshot
An Overview of Linear Logic Programming
inferred← citeshttps://doi.org/10.1017/cbo9780511550850.011openalex-snapshot
Between Logic and Quantic: a Tract
inferred← citeshttps://doi.org/10.1017/cbo9780511629150.002openalex-snapshot
Linear Logic: its syntax and semantics
inferred← citeshttps://doi.org/10.1017/s0960129500001328openalex-snapshot
A new constructive logic: classic logic
inferred← citeshttps://doi.org/10.1017/s096012950100336xopenalex-snapshot
Locus Solum: From the rules of logic to the logic of rules
inferred← citeshttps://doi.org/10.1017/s0960129503003980openalex-snapshot
Sequentiality vs. concurrency in games and logic
inferred← citeshttps://doi.org/10.1017/s0960129598002655openalex-snapshot
Concurrent programming as proof net construction
inferred← citeshttps://doi.org/10.1017/s0960129599002789openalex-snapshot
A specification logic for concurrent object-oriented programming
inferred← citeshttps://doi.org/10.1017/s1471068402001254openalex-snapshot
An effective fixpoint semantics for linear logic programs
inferred← citeshttps://doi.org/10.1017/s1471068404002066openalex-snapshot
Model checking linear logic specifications
inferred← citeshttps://doi.org/10.1017/s1471068421000533openalex-snapshot
A Survey of the Proof-Theoretic Foundations of Logic Programming
inferred← citeshttps://doi.org/10.1017/s1471068424000176openalex-snapshot
Property-Based Testing by Elaborating Proof Outlines
inferred← citeshttps://doi.org/10.1023/b:amai.0000034526.31830.45openalex-snapshot
Agents via Mixed-Mode Computation in Linear Logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzt008openalex-snapshot
Universal vs. particular reasoning: a study with neuroimaging techniques
inferred← citeshttps://doi.org/10.1093/logcom/10.1.75openalex-snapshot
Object calculi in linear logic
inferred← citeshttps://doi.org/10.1093/logcom/exp071openalex-snapshot
Answer Set Programming with Resources
inferred← citeshttps://doi.org/10.1109/fscs.1990.89588openalex-snapshot
Decision problems for propositional linear logic
inferred← citeshttps://doi.org/10.1109/hcc.2001.995240openalex-snapshot
On a uniform logical framework for diagrammatic reasoning
inferred← citeshttps://doi.org/10.1109/hicss.1997.667283openalex-snapshot
On relating blackboards in the μLog coordination model
inferred← citeshttps://doi.org/10.1109/hicss.1998.649218openalex-snapshot
Towards logic programming based coordination in virtual worlds
inferred← citeshttps://doi.org/10.1109/hicss.1998.649221openalex-snapshot
From Gamma to CBS: refining multiset transformations with broadcasting processes
inferred← citeshttps://doi.org/10.1109/icapp.1995.472170openalex-snapshot
A highly parallel model for object-oriented concurrent constraint programming
inferred← citeshttps://doi.org/10.1109/ictai.2001.974477openalex-snapshot
LOOP-a language for LP-based AI applications
inferred← citeshttps://doi.org/10.1109/lics.1991.151628openalex-snapshot
Logic programming in a fragment of intuitionistic linear logic
inferred← citeshttps://doi.org/10.1109/lics.1994.316062openalex-snapshot
A multiple-conclusion meta-logic
inferred← citeshttps://doi.org/10.1109/lics.1998.705651openalex-snapshot
Phase semantics and verification of concurrent constraint programs
inferred← citeshttps://doi.org/10.1142/9781848161023_0003openalex-snapshot
TRUTH AND ACTION OSMOSIS (THE TAO COMPUTATION MODEL)
inferred← citeshttps://doi.org/10.1142/p017openalex-snapshot
Coordination Programming: Mechanisms, Models and Semantics
inferred← citeshttps://doi.org/10.1145/1140335.1140357openalex-snapshot
Collection analysis for Horn clause programs
inferred← citeshttps://doi.org/10.1145/117954.117971openalex-snapshot
Communication as fair distribution of knowledge
inferred← citeshttps://doi.org/10.1145/130956.130958openalex-snapshot
Linear logic
inferred← citeshttps://doi.org/10.1145/152388.152393openalex-snapshot
Coordinating rule-based software processes with ESP
inferred← citeshttps://doi.org/10.1145/174675.177941openalex-snapshot
An operational framework for value-passing processes
inferred← citeshttps://doi.org/10.1145/191080.191088openalex-snapshot
Type-theoretic foundations for concurrent object-oriented programing
inferred← citeshttps://doi.org/10.1145/2071368.2071370openalex-snapshot
Least and Greatest Fixed Points in Linear Logic
inferred← citeshttps://doi.org/10.1145/297090.297094openalex-snapshot
Coordinating distributed applets with Shade
inferred← citeshttps://doi.org/10.1145/298151.298222openalex-snapshot
Abductive coordination for logic agents
inferred← citeshttps://doi.org/10.1145/330560.330660openalex-snapshot
Coordinating distributed applets with Shade/Java
inferred← citeshttps://doi.org/10.1145/571157.571162openalex-snapshot
Automated protocol verification in linear logic
inferred← citeshttps://doi.org/10.1145/97945.97953openalex-snapshot
LO and behold! Concurrent structured processes
inferred← citeshttps://doi.org/10.1184/r1/6608369openalex-snapshot
Petri Nets and Linear Logic: a Case Study for Logic Programming
inferred← citeshttps://doi.org/10.1184/r1/6610676openalex-snapshot
The Logical Meeting Point of Multiset Rewriting and Process Algebra: Progress Report
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.18.233.245openalex-snapshot
Resource-based enactment and adaptation of workflows from activity diagrams
inferred← citeshttps://doi.org/10.21236/ada418517openalex-snapshot
A Concurrent Logical Framework I: Judgments and Properties
inferred← citeshttps://doi.org/10.2178/bsl/1052669287openalex-snapshot
Symmetry and Interactivity in Programming
inferred← citeshttps://doi.org/10.2969/msjmemoirs/00201c070openalex-snapshot
An Introduction to Linear Logic: Expressiveness and Phase Semantics
inferred← citeshttps://doi.org/10.3233/ia-2011-0018openalex-snapshot
Some applications of Computational Logic to the development of intelligent systems and verification methods
inferred← citeshttps://doi.org/10.3233/inf-1997-8101openalex-snapshot
Plan generation with the linear connection method
inferred← citeshttps://doi.org/10.48550/arxiv.0910.3383openalex-snapshot
Least and Greatest Fixed Points in Linear Logic
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0501034openalex-snapshot
Symmetry and interactivity in Programming
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0501039openalex-snapshot
Introduction to linear logic and ludics, part II
inferred← citeshttps://doi.org/10.5281/zenodo.177702openalex-snapshot
FIGURE 11 in Benthic Ostracoda (Myodocopina, Philomedidae) of the East Sea (Sea of Japan), with description of a new species from the Korean Peninsula
showing the first 200 of 202 · page through all 202
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.