Вы здесь

Главная

линейный

Связанные издания:

Abstract Compilation for Sharing Analysis
Abstract Interpretation of Linear Logic Programming
ACL - A Concurrent Linear Logic Programming Paradigm
A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and Its Implementation
Advances in Neural Networks - ISNN 2017, Part I: Proc./14th International Symposium, ISNN 2017, Sapporo, Japan, June 2017
Advances in Neural Networks - ISNN 2018: Proc./15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 2018
Algorithm 731: A Moving-Grid Interface for Systems of One-Dimensional Time-Dependent Partial Differential Equations
A Linear Algorithm for Copying Binary Trees Using Bounded Workspace
A Linear Algorithm for Finding Connected Components of a Graph Using Bounded Workspace
A "Linear Logic" Quicksort
A Linear Temporal Logic Approach to Objects with Transactions
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)
A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion
A Modular Systolic Linearization of the Winigrad s Algorithm
An Algebraic Rewriting Theorem of Multiple Linear Recursions and Its Applications
An Automata-Theoretic Approach to Linear Temporal Logic
A Neural Network Model for Quadratic Programming with Simple Upper and Lower Bounds and Its Application to Linear Programming
A Note on the Quality of Random Variates Generated by the Ratio of Uniforms Method
A Note on Type Checking Linear Functional Languages
A Parallel Block Implementation of Level-3 BLAS for MIMD Vector Processors
A Real-Time Interval Logic and Its Decision Procedure
Arithmetic of Finite Fields: Revised Selected Papers/6th International Workshop, WAIFI 2016, Ghent, Belgium, July 2016
Artificial Intelligence and Symbolic Computation: Proc./7th International Conference, AISC 2004. Linz, Austria, September 2004
A solution to the covering problem for 1-bounded conflict-free Petri nets using Linear Programming
Assembly Parallel Programming: Some Examples
Assumption/Guarantee Specifications in Linear-Time Temporal Logic
A Survey of Concurrent METATEM - The Language and Its Applications
A Survey of Direct Parallel Algorithms for Banded Linear Systems
Asynchronous Communication Model Based on Linear Logic
A Syntax for Linear Logic
A Tableau System for Linear-TIME Temporal Logic
A Taste of Linear Logic
A Taxonomy of Forgetting Automata
A Trace Consistent Subset of PTL
A Typed Foundation for Directional Logic Programming
A Type-Free Resource-Aware -Calculus
Automated Deduction in Additive and Multiplicative Linear Logic
Axiomatising Linear Time Mu-calculus
Beyond Unimodular Transformations
Bistructures, Bidomains and Linear Logic
Bounded linear logic: a modular approach to polynomial-time computability
Building Models of Linear Logic
Cellular Automata and Discrete Complex Systems: Proc./23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Spain, June 2017
Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor System
Circular Pipeline: Analysis and Performance Evaluation
Coalgebras and Approximation
Committed-Choice Concurrent Logic Programming in Linear Logic
Completeness Results for Linear Logic on Petri Nets
Computational and Concurrency Models of Linear Logic
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/4th International Workshop, CLIMA IV. Fort Lauderdale, FL, USA, January 2004