Вы здесь

Главная

свойство

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

Acyclic logic programs and the completeness of SLDNF-resolution
Advances in Knowledge Discovery and Data Mining, Part I: Proc./20th Pacific-Asia Conference, PAKDD 2016, Auckland, New Zealand, April 2016
Algebraic Properties of Loop Invariants
Algorithms and Architectures for Parallel Processing, Part I: Proc./14th International Conference, ICA3PP 2014, Dalian, China, August 2014
Analysing Logic Programs using "Prop"-ositional Logic Programs and a Magic Wand
A Propositional Logic-Based Mehtod for Verification of Feature Models
Assessment of Timing Properties of Family Products
Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014
Automatically Validating Temporal Safety Properties of Interfaces
Automatic Inference of Norms: a Missing Link in Automatic Termination Analysis
Checking Regular Properties of Petri Nets
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Combinatorial Pattern Matching: Proc./26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 2015
Completing the temporal picture
Compositional Proof Systems for Model Checking Infinite State Processes
Computational Aspects of Delta-Definability over the Real Numbers without the Equality Test
Computational Color Imaging: Proc./4th International Workshop, CCIW 2013, Chiba, Japan, March 2013
Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014
Computer Vision - ACCV 2014 Workshops, Part III: Revised Selected Papers/Singapore, Singapore, November 2014
Constraint-Based Linear Relations Analysis
Developments in Language Theory: Proc./19th International Conference, DLT 2015, Liverpool, UK, July 2015
Discrete Geometry for Computer Imagery: Proc./18th IAPR International Conference, DGCI 2014, Siena, Italy, September 2014
Economics of Grids, Clouds, Systems, and Services: Revised Selected Papers/11th International Conference, GECON 2014, Cardiff, UK, September 2014
Efficient Chaotic Iteration Strategies with Widenings
Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs
Expressing Structural Properties as Language Constructs
Fairness in Deadlockfree Petri Nets with the Finite Delay Property
Formal Aspects of Component Software: Revised Selected Papers/8th International Symposium, FACS 2011, Oslo, Norway, September 2011
Formalization of Varables Access Constraints to Support Compositionality of Liveness Properties
Formal Methods for Industrial Critical Systems: Proc./19th International Conference, FMICS 2014, Florence, Italy, September 2014
Frozen Tokens and D-Continuity: A Study in Relating System Properties to Process Properties
Fundamental Approaches to Software Engineering: Proc./17th International Conference, FASE 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Game Characterizations of Logic Program Properties
Handling Algebraic Properties in Automatic Analysis of Security Protocols
Ignoring Nonessential Interleavings in Assertional Reasoning on Concurrent Programs
Image Analysis and Recognitin, Part I: Proc./11th International Conference, ICIAR 2014, Vilamoura, Portugal, October 2014
Infinite Behaviour and Fairness in Concurrent Constraint Programming
Integrated Formal Methods: Proc./11th International Conference, IFM 2014, Bertinoro, Italy, September 2014
Integrating the Heterogeneous Control Properties of Software Modules
Learning to Verify Safety Properties
Leistungsanalyse und Vorhersage des Betriebsverhal tens beim Datenbanksystem UDS
Local Properties of Query Languages
Mathematical methods in proving properties of programs
Object-Oriented Programming with mixins in Ada
On Capturing First-Order Topollogical Properties of Planar Spatial Databases
On decomposability in logical calculi
On Liveness in Extended Non Self-Controlling Nets
On Static Properties of Specialized Programs
Parameterized Partial Evaluation
Pattern Recognition: Proc./33rd DAGM Symposium, Frankfurt/Main, Germany, August/September 2011