Вы здесь

Главная

логика

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

A Program Logic for Handling Java Card s Transaction Mechanism
A Programming Logic for Part of the Agent Language 3APL
A Programming Logic for Sequential Java
A Proof Rule for Control Loops
A Proof System Based on Finite Set Theory
A Propositional Dense Time Logic
A Query Language Based on the Ambient Logic
Architecture of Computing Systems - ARCS 2017: Proc./30th International Conference, Vienna, Austria, April 2017
Architecture of Computing Systems - ARCS 2018: Proc./31st International Conference, Braunschweig, Germany, April 2018
A Really Temporal Logic
A Real-Time Interval Logic and Its Decision Procedure
A Real Time Process Logic
A Record Calculus with Principal Types
A Relatonal Algebra for Functional Logic Deductive Databases
A Representation Theorem for Lambda Abstraction Algebras
A Restricted Second Order Logic for Finite Structures
A Reuse-Oriented Framework for Hierarchical Specifications
A Rewriting Logic Sampler
Aristotle and Object-Oriented Programming: Why Modern Students Need Traditional Logic
Arity vs. Alternation in Second Order Logic
A Road-Map on Complexity for Hybrid Logics
Around a Powerful Property of Circumscriptions
Artificial Intelligence and Symbolic Computation: Proc./7th International Conference, AISC 2004. Linz, Austria, September 2004
Artificial Intelligence: Methodology, Systems, and Applications: Proc./12th International Conference, AIMSA 2006. Varna, Bulgaria, September 2006
A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics
A Semantic Basis for Logic-Independent Transformation
A Semantics for the Logic of Proofs
A Separation Logic for Resource Distribution
A Set-theoretic Translation Method for (Poly)modal Logics
A simple abstract semantics for equational theories
A Spatial Logic for Concurrency (Part I)
A Spatial Logic for Concurrency (Part II)
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
A Specification and Validation Technique Based on STATEMATE and FNLOG
Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday
Aspects of the Automatic Generation of SQL Statements in a Natural Language Query Interface
A Sphere World Semantics for Default Reasoning
Assumption/Guarantee Specifications in Linear-Time Temporal Logic
A Strong Correspondence between Description Logics and Open Logic Programming
A study of Aspect Calculus
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs
A Subintuitionistic Logic and Some of Its Methods
A Survey of Concurrent METATEM - The Language and Its Applications
A Symmetric Lambda Calculus for "Classical" Program Extraction
Asynchronous Communication Model Based on Linear Logic
A Syntactic Consistency Proof for NaDSet
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
A Syntax for Linear Logic
A Tableau System for Linear-TIME Temporal Logic
A Taste of Linear Logic