Вы здесь

Главная

линейный

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

Computer Algebra in Scientific Computing: Proc./2-th International Workshop, CASC 2018, Lille, France, September 2018
Computing Optimal Linear Layouts of Trees in Linear Time
Computing the Minimum of the k-Level of an Arrangement with Applications
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator
Concurrency Problem for Norn Fragment of Girard s Linear Logic
Concurrent Constraint Programming and Non-commutative Logic
Concurrent Logic Programming as Uniform Linear Proofs
Constraint-Based Linear Relations Analysis
Constructive Logics. Part I: A tutorial on Proof Systems and Typed -Calculi
Constructive Logics. Part II: Linear Logic and Proof Nets
Cuurent Trends in Numerical Linear Algebra: From Theory to Practice
Derivation of Linear Size Relations by Abstract Interpretation
Designing tableau-like axiomization for Propositional Linear Temporal Logic at home of Arthur Prior
Double-Step Incremental Linear Interpolation
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
Efficient Parallel and Linear Time Sequential Split Decomposition
Equational Logic Programming, Actions, and Change
Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic Arithmetic
First-Order Future Interval Logic
First-Order LTL Model Checking Using MDGs
Formal Techniques for Systems Specification and Verification
Foundations of Proof Search Strategies Dessign in Linear logic
From a Tabular Classification to Parallel Implementations of Lineary Recursive Functions
From Petri Nets to Linear Logic
Games and Full Completeness for Multiplicative Linear Logic
GFUN: A Maple Package for the Manipulation of Generating and Holonomic Functions in One Variable
Herbrand Methods in Sequent Calculi: Unification in LL
Higher-Order Concurrent Linear Logic Programming
Householder Reduction of Linear Equations
Implementation and Computational Results for the Hierarchical Algorithm for Making Sparse Matrices Sparser
Implementation and Development Issues for the Linear Logic Programming Language Lygon
Implementing the Linear Logic Programming Language Lygon
Improved Automata Generation for Linear Temporal Logic
Is there a use for linear logic?
LH* - Linear Hashing for Distributed Files
Light Linear Logic
Linear Analytic Tableaux
Linear -Calculus and Categorical Models Revisited
Linear Control Flow Analysis
Linear-Density Hashing with Dynamic Overflow Sharing
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Linearity and the Pi-Calculus
Linear Logic and Parallelism
Linear Logic and Permutation Stacks - The Forth Shall Be First
Linear Logic on Petri Nets
Linear Logic with Isabelle: Pruning the Proof Search Tree
Linear Maximum Matching on Cubic Graphs
Linear Recursive Networks and Their Applications in Topological Design and Data Routing
Linear Systolic Arrays for Matrix Multiplication: Comparison of Existing Synthesis Methods and New Results
Linear Time Algorithms and NP-Complete Problems