Вы здесь

Главная

логика

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

Automated Technology for Verification and Analysis: Proc./11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 2013
Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007
Automated Temporal Reasoning about Reactive Systems
Automatic Construction of Hoare Proofs from Abstract Interpretation Results
Automatic Theorem Proving within the Portable AI Lab
Automatic Verification of Pointer Programs using Monadic Second-Order Logic
A v-Calculus with Local Viewes for Systems of Sequential Agents
Avoiding the Undefined by Underspecification
Axiomatising Linear Time Mu-calculus
Axiomatising Uniform Properties of Recursive Data Structures
Axiomatizations of Temporal Logics on Trace Systems
Axiomatizing U and S over Integer Time
Backtracking Games and Inflationary Fixed Points
BDDs and Automated Deduction
Behavioral and Spatial Observations in a Logic for the pi-Calculus
Behavioural Equivalence Relations Induced by Programming Logics
Belief, Provability, and Logic Programs
Binary Decision Diagrams as a HOL Derived Rule
Bipolarity in Possibilistic Logic and Fuzzy Rules
Birkhoff s HSP-Theorem for Cumulative Logic Programs
Bisimulation, Games, and Logic
Bistructures, Bidomains and Linear Logic
Boolean Algebra of Shape Analysis Constraints
Bounded-arity Hierarchies in Fixed-point Logics
Bounded linear logic: a modular approach to polynomial-time computability
Bounded Model Checking for Past LTL
Branching Time Temporal Logic and Amorphous Tree Automata
Bringing Thogether Description Logics and Database in an Object-Oriented Model
Building Models of Linear Logic
Building Tools for LOTOS Symbolic Semantics in Maude
Buy One, Get One Free!!!
Capturing Database Dynamics by Deferred Updates
Category Theory and Computer Science: Proc./6th Intern. Conf., CTCS 95 Cambridge, United Kingdom, August 1995
Characteristic Formulae for CCS with Divergence
Characterization of Type Hierarchies with Open Specification
Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets
Checking Consistency of SDL+MSC Specifications
Church s Problem and a Tour through Automata Theory
Chu Spaces and Their Interpretation as Concurrent Objects
Circumscribing Features and Fluents
Classical Lambek Logic
Classical Methods in Nonmonotonic Reasoning
Classical Proofs as Programs: How, What and Why
Classical Proofs via Basic Logic
Coalgebraic Methods in Computer Science: Revised Selected Papers/13th IFIP WG 1.3 International Workshop, CMCS 2016 Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2016
Coalgebras and Approximation
Colimits for Concurrent Collectors
Collection Principles in Dependent Type Theory
COLOG-88 Papers presented at the International conference in computer logic. Part II. Tallinn, December, 12-16, 1988
COLOG-88 Papers presented at the International conference in computer logic. Part I. Tallinn, December, 12-16, 1988