Вы здесь

Главная

логика

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

Correct OO Systems in Computational Logic
Correct System Design: Proc./Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 2015
CPO models for infinite term rewriting
Craig Interpolation Property in Modal Logics with Provability Interpretation
Cut-Elimination in Logics with Definitional Reflection
Cut-free Display Calculi for Relation Algebras
Cut Free Formalization of Logic with Finitely Many Variables. Part 1
Datalog and Description Logics: Expressive Power
Data Types, Infinity and Equality in System AF
Datatypes in L2
Data Types over Multiple-valued Logics
Data types with errors and exeptions
Decidability and Undecidability Results for Duration Calculus
Decidability of Invariant Validation for Paramaterized Systems
Deciding Termination of Query Evauation in Transitive-Closure Logics for Constraint Databases
Decising Global Partial-Order Properties
Decision Logic
Decision Procedure for Temporal logic of Concurrent Objects
Declarative Agent Languages and Technologies IV: Selected, Revised and Invited Papers/4th International Workshop, DALT 2006. Hakodate, Japan, May 2006
Declarative Programming and Knowledge Management: Revised Selected Papers/ Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 2013
Declarative Semantics for Contradictionary Modular Logic Programs
-definition of Function(al)s by Normal Forms
Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL
Denotations for Classical Proofs - Preliminary Results
Deontic Logic and Artificial Normative Systems: Proc./8th International Workshop on Deontic Logic in Computer Science, DEON 2006. Utrecht, The Netherlands, July 2006
Deontic Logic and Normative Systems: Proc./12th International Conference, DEON 2014, Ghent, Belgium, July 2014
Deontic Logic in Computer Science: Proc./7th Intern. Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 2004
Deontic Logic in Computer Science: Proc./9th International Conference, DEON 2008. Luxembourg, Luxembourg, July 2008
Derivation of the Input Conditional Formula from a Reactive System Specification in Temporal Logic
Description Logics and Their Relationships with Databases
Description Logics with Aggregates and Concrete Domains
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations
Descriptive Set Theoretic Mathods in Automata Theory: Decidability and Topological Complexity
Design and Evaluation of a Visual Formalism for Real Time Logics
Design and Implementation of a Logic Based Language for Data Intensive Applications
Designing tableau-like axiomization for Propositional Linear Temporal Logic at home of Arthur Prior
Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
Detection of Unstable Predicates in Distributed Programs
Developments in Language Theory: Proc./12th International Conference, DLT 2008. Kyoto, Japan, September 2008
Developments in Language Theory: Proc./13th International Conference, DLT 2009. Stuttgart, Germany, June/July 2009
Developments in Language Theory: Proc./19th International Conference, DLT 2015, Liverpool, UK, July 2015
Developments in Language Theory: Proc./21st International Conference, DLT 2017, Liege, Belgiym, August 2017
Developments in Language Theory: Proc./23rd International Conference, DLT 2019, Warsaw, Poland, August 2019
Diagrammatic Representation and Inference: Proc./7th International Conference, Diagrams 2012, Canterbury, UK, July 2012
Diagrammatic Representation and Inference: Proc./9th International Conference, Diagrams 2016, Philadelphia,PA,USA, August 2016
Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction
Difficult Configurations - On the Complexity of LTrL
Discovering Unexpected Patterns in Temporal Data Using Temporal Logic
Discovery Science: Proc./5th Intern. Conf., DS 2002, Lubeck, Germany, November 2002