The following pages link to Carlos Olarte (Q281157):
Displaying 36 items.
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- A symbolic model for timed concurrent constraint programming (Q530859) (← links)
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- From cut-free calculi to automated deduction: the case of bounded contraction (Q1744444) (← links)
- Hybrid and subexponential linear logics (Q1744445) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- A game model for proofs with costs (Q2180520) (← links)
- A constraint-based language for multiparty interactions (Q2229145) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- A General Proof System for Modalities in Concurrent Constraint Programming (Q2842123) (← links)
- A Proof Theoretic Study of Soft Concurrent Constraint Programming (Q2931271) (← links)
- Foundations for Reliable and Flexible Interactive Multimedia Scores (Q2942295) (← links)
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus (Q2971125) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Declarative Diagnosis of Temporal Concurrent Constraint Programs (Q3608660) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- A concurrent constraint programming interpretation of access permissions (Q4644356) (← links)
- A uniform framework for substructural logics with modalities (Q4645752) (← links)
- (Q5018490) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- Verification Techniques for a Network Algebra (Q5131777) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- (Q6159917) (← links)
- A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems (Q6357858) (← links)
- Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving (Q6535202) (← links)
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets (Q6622141) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)
