Вы здесь

Главная

линейный

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

Saturation Replaces Induction for a Miniscoped Linear Temporal Logic
Scalable Analysis of Liear Systems Using Mathematical Programming
Sequences and Their Applications - SETA 2012: Proc./7th International Conference, Waterloo,ON,Canada, June 2012
Sequences and Their Applications - SETA 2014: Proc./8th International Conference, Melbourne, VIC, Australia, November 2014
Simple is Better: Efficient Bounded Model Checking for Past LTL
Simulating Guarded Programs in Linear Logic
Software Model Checking Using Linear Constraints
Software Verification Based on Linear Programming
Solving the generalized eigenvalue problem on a synchronous linear processor array
Some Comments from a Numerical Analyst
Some Complexity Results for System Verilog Assertions
Sparse Polynomials and Linear Logic
Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language
Structural Techniques and Performance Bounds of Stochastic Petri Net Models
Synthesis of a new Systolic Architecture for the Algebraic Path Problem
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types
Termination of Linear Programs
The ANALYZE Rulebase for Supporting LP Analysis
The Boyer Benchmark Meets Linear Logic
The -Calculus as a Theory in Linear Logic: Preliminary Results
The CLP(R) Language and System
The Double Algebra: An Effictive Tool for Computing Invariants in Computer Vision
The Girard Translation Extended with Recursion
The Onion Technique: Indexing for Linear Optimization Queries
The Other Linear Logic
The Second Calculus of Binary Relations
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs
The Uniform Proof-theoretic Foundation of Linear Logic Programming
The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear Temporal Logic
Transitive closure in parallel on a linear network of processors
True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication
Tutorial on Linear Logic
Unconventional Computation and Natural Computational: Proc./18th International Conference, UCNC 2019, Tokyo, Japan, June 2019
Use-Once Variables and Linear Objects - Storage Management, Reflection and Multi-Threading
Using Static Analysis to Derive Imperative Code from ALPHA
Verifying Liveness by Augmented Abstraction
Verifying -Regular Properties for a Subclass of Linear Hybrid Systems
Visibility Preprocessing for Interactive Walkthroughs
What is a Categorical Model of Intuitionistic Linear Logic?
Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX
Адаптивное управление параметрами линейного протокола в системах передачи информации с коммутацией пакетов
Алгебраический подход к задаче решения систем линейных неравенств
Алгоритмическое обеспечение и вычислительные возможности интеллектуального программного средства LINSYST
Алгоритмическое обеспечение численного моделирования линейных процессов оптимального управления
Алгоритм оптимальной линейной экстраполяции реализации векторной случайной последовательности, наблюдаемой без погрешностей
Алгоритм упро ения тензорных выражений в компьютерной алгебре
Бесконечные системы линейных неравенств в математическом программировании
Верификация программ линейной алгебры
Вопросы выразимости для линейных автоматов
Выбор базиса при решении линейных функциональных уравнений