Keywords: منطق خطی; Implicit computational complexity; Linear logic; Lambda-calculus;
مقالات ISI منطق خطی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق خطی; Linear Logic; Hybrid Linear Logic; subexponentials; logical frameworks; Temporal Logic;
Keywords: منطق خطی; Linear logic; Concurrent constraint programming; Proof systems; Focusing; Multi-focusing; Fixed points;
Keywords: منطق خطی; 03B70; 03F52; 68Q55; 37A40; Linear logic; Dynamic semantics; Denotational semantics; Interaction graphs; Geometry of interaction; Measurable dynamics;
Keywords: منطق خطی; 03F52; 18A15; 18D10; 18D15; Linear logic; Tensorial logic; Dialogue games; Dialogue categories; Linearly distributive categories; Chiralities;
Keywords: منطق خطی; Functional reactive programming; Temporal logic; Linear logic; Logic of bunched implications; Categorical semantics;
Keywords: منطق خطی; Linear logic; Concurrent constraint programming; Proof systems
Keywords: منطق خطی; 03; 68; 53; 18; Linear logic; Denotational semantics;
Keywords: منطق خطی; Geometry of interaction; Linear logic; Inverse monoid; â-autonomous category; Coherence completion;
Keywords: منطق خطی; Session types; Linear logic; Process calculi; Strong normalization; Confluence; Logical relations; Observational equivalences
Keywords: منطق خطی; Biochemical systems; Linear logic; Spatial and temporal modalities; Verification of P systems
Keywords: منطق خطی; Linear logic; Complexity; Geometry of interaction; Pointer machine; Finite automata; Logarithmic space
Keywords: منطق خطی; Linear logic; Denotational semantics; Computational complexity; Strong normalization
Keywords: منطق خطی; Ontologies; Linear Logic; Coherent Spaces
Keywords: منطق خطی; Linear logic; Relational semantics; Canonical extensions; Phase semantics
Keywords: منطق خطی; 03B22; 03B47; 03B53; 03F52Relevance logics; Entailment relations; Connectives; Linear logic
Formalized Meta-Theory of Sequent Calculi for Substructural Logics
Keywords: منطق خطی; Sequent calculus; cut-elimination; formalized proof; linear logic; Abella;
On subexponentials, focusing and modalities in concurrent systems
Keywords: منطق خطی; Linear logic; Concurrent constraint programming; Proof systems;
The Shuffle Quasimonad and Modules with Differentiation and Integration
Keywords: منطق خطی; Linear Logic; Differential Categories; Rota-Baxter Algebras;
The decidability of the intensional fragment of classical linear logic
Keywords: منطق خطی; Cognate sequent; Curry's lemma; Decidability; König's lemma; Kripke's lemma; Linear logic; Modal logic; Relevance logic; Sequent calculus
Proof nets and the call-by-value λ-calculus
Keywords: منطق خطی; Curry–Howard isomorphism; Call-by-value λ-calculus; Linear logic; Graphical syntaxes; Proof nets; Explicit substitutions; Correctness criteria
On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy
Keywords: منطق خطی; Implicit computational complexity; Linear logic; Lambda-calculus; Polynomial time complexity; Type systems;
Study on deterministic response time design for a class of nuclear Instrumentation and Control systems
Keywords: منطق خطی; Deterministic response time; Computer-based systems; Petri nets; Sequence diagrams; Linear logic;
A modular Petri net to modeling and scenario analysis of a network of road traffic signals
Keywords: منطق خطی; Petri nets; Traffic signals control; Linear logic; Formal analysis; Real time systems
Quantum-like logics and schizophrenia
Keywords: منطق خطی; Logic; Quantum logic; Linear logic; Schizophrenia;
The relational model is injective for multiplicative exponential linear logic (without weakenings)
Keywords: منطق خطی; 03F05; 03F07; 03F52; Linear logic; Proof-nets; Denotational semantics; Injective model;
Realizability models and implicit complexity
Keywords: منطق خطی; Implicit computational complexity; Realizability; Linear logic;
A semantic measure of the execution time in linear logic
Keywords: منطق خطی; Linear logic; Denotational semantics; Computational complexity;
Linear logic as a tool for planning under temporal uncertainty
Keywords: منطق خطی; Linear logic; Artificial intelligence; Planning under uncertainty; Winning strategies; Proofs-as-programs paradigm; Horn linear logic;
Geometry of Interaction V: Logic in the hyperfinite factor
Keywords: منطق خطی; Proof-theory; Linear logic; Complexity theory; Light logics; Operator algebras;
Reliability analysis of discrete event dynamic systems with Petri nets
Keywords: منطق خطی; Embedded systems; Reliability analysis; Petri net; Linear logic; Feared scenarios; Minimality
Security protocols: from linear to classical logic by abstract interpretation
Keywords: منطق خطی; Cryptographic protocols; Linear logic; Classical logic; Abstract interpretation; Formal methods;
Locally Boolean domains
Keywords: منطق خطی; Domain theory; Linear logic; Game semantics;
Concrete Data Structures as Games
Keywords: منطق خطی; Linear logic; games; concrete data structures; sequential computation;
Sharing Implementations of Graph Rewriting Systems
Keywords: منطق خطی; Sharing graphs; optimal reductions; graph-rewriting; λ-calculus; linear logic;
Intersection Types for Light Affine Lambda Calculus
Keywords: منطق خطی; Implicit Computational Complexity; Intersection Types; Lambda Calculus; Linear Logic;
From Geometry of Interaction to Denotational Semantics
Keywords: منطق خطی; Geometry of Interaction; Denotational semantics; Linear logic; *-autonomous categories; Unique decomposition categories;
Asynchronous Games 3 An Innocent Model of Linear Logic
Keywords: منطق خطی; Game semantics; linear logic; categorical models;
Syntax vs. semantics: A polarized approach
Keywords: منطق خطی; Linear logic; Game semantics; Proof-nets; Polarization; Full and faithful completeness;
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics
Keywords: منطق خطی; Proof search; affine logic; linear logic; loop detection;
Differential Interaction Nets
Keywords: منطق خطی; lambda-calculus; linear logic; proof nets; interaction nets; differential calculus;
Sequential algorithms and strongly stable functions
Keywords: منطق خطی; Game semantics; Linear logic; Sequential algorithms; Strongly stable functions; Extensional collapse;
Linear realizability and full completeness for typed lambda-calculi
Keywords: منطق خطی; Typed lambda-calculi; ML-polymorphic types; Linear logic; Hyperdoctrines; PER models; Geometry of Interaction; (Axiomatic) Full completeness;
Polarized and focalized linear and classical proofs
Keywords: منطق خطی; 03F05; 03F07; 03F52; Classical logic; Linear logic; Cut-elimination; Proof-nets; Denotational semantics; Polarization; Focalization; Reversion;