Вы здесь

Главная

темпоральный

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

An Operational Semantics of Starlog
An Optimisation Scheme for Coalesce/Valid Time Selection Operator Sequences
An Overview of Temporal and Modal Logic Programming
An Update of the Temporal Database Bibliography
A Point-Based Temporal Extension of SQL
Applicability of Temporal Data Models to Query Multilevel Security Databases: A Case Study
Applying a Temporal Logic to the RPC-Memory Specification Problem
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs
Approximation and Online Algorithms: Revised Selected Papers/13th International Workshop, WAOA 2015, Patras, Greece, September 2015
A Priority-Driven Inheritance Scheme for Temporal-Spatial Structures in Multimedia Databases
A Proof Rule for Control Loops
A Propositional Dense Time Logic
A Really Temporal Logic
A Real-Time Interval Logic and Its Decision Procedure
A Road-Map on Complexity for Hybrid Logics
Artificial Intelligence in Medicine: Proc./15th Conference, AIME 2015, Pavia, Italy, June 2015
Assumption/Guarantee Specifications in Linear-Time Temporal Logic
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs
A Survey of Concurrent METATEM - The Language and Its Applications
A Tableau System for Linear-TIME Temporal Logic
A taxonomy of fairness and temporal logic problems for Petri nets
A Temporal Constraint System for Object-Oriented Databases
A Temporal Extension of the Deductive Database System ProQuel
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets
A Temporal Logic Based Approach for Querying Lists, Trees, and DAGs in Databases
A Temporal Logic Based Network for Intrusion Detection
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions
A Temporal Logic of Actions
A Temporal Logic of Nested Calls and Returns
A Temporal Object-Oriented Data Warehouse Model
A Temporal Query Language for a Conceptual Model
A Temporal Query Language for OLAP: Implementation and a Case Study
A Timed Calculus for Distributed Objects with Clocks
A Trace Consistent Subset of PTL
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions
A Uniform Framework for Processing Temporal Object-Oriented Queries
Automated Deduction - CADE-20: Proc./20th International Conference on Automated Deduction. Tallinn, Estonia, July 2005
Automatic Deduction of Temporal Information
A v-Calculus with Local Viewes for Systems of Sequential Agents
Axiomatizations of Temporal Logics on Trace Systems
Axiomatizing U and S over Integer Time
Back and Forth through Time and Events
Bibliography on Spatiotemporal Databases
Branching Time Temporal Logic and Amorphous Tree Automata
Building Reusable Components Through Project Evolution Analysis
Buy One, Get One Free!!!
Chrono: A Conceptual Design Framework for Temporal Entities
CHRONOS: пространственно-временной сервер данных для ГИС
Combining Communicating Sequential Processes and Temporal Logic
Combining Temporal Specification Techniques