Вы здесь

Главная

логика

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

A taxonomy of fairness and temporal logic problems for Petri nets
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 Based Theory of Test Coverage and Generation
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 Terminological Interpretation of (Abductive) Logic Programming
A Test for Fuzzy Logic
A theory for the derivation of combinational C-mos circuit designs
A Thread of HOL Development
A Three-Valued Logic for Refinement
A Three-valued logic for software specification and validation
A Timing Refinement of Intuitionistic Proofs and Its Application to the Timing Analysis of Combinational Circuits
A Total Approach to Partial Algebraic Specification
A Trace Consistent Subset of PTL
A Transformation of Propositional Prolog Programs into Classical Logic
A Tutorial Introduction to Designs in Unifying Theories of Programming
A Typed Foundation for Directional Logic Programming
A Typed Logic of Partial Functions Reconstructed Classically
A Type-Free Resource-Aware -Calculus
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions
A Unification of Ordering Refinements of Resolution in Classical Logic
A Unified Formalism for Landmark Based Representation of Maps and Navigation Plans
A Unifying Theory of Dependent Types: the Schematic Approach
A Unique Formalism for Specifying and Designing Objects in a Parallel Environment
Autoepistematic Logics as a Unifying Framework for the Semantics of Logic Programs
Automata- and Logic-Based Pattern Languages for Tree-Structured Data
Automata, Languages and Programming, Part I: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 2010
Automata, Languages, and Programming: Part II: Proc./35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008
Automata, Languages and Programming, Part II: Proc./37th International Colloquium, ICALP 2010, Bordeaux, France, July 2010
Automata, Languages, and Programming: Part I: Proc./35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008
Automata, Languages, and Programming, Part I: Proc./42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 2015
Automata, Languages and Programming: Proc./23rd International Colloquium,ICALP 96. Paderborn,Germany,July 1996
Automata, Languages and Programming: Proc./ 26th International Colloquium, ICALP 99, Prague, Czech Republic, July 1999
Automata, Languages and Programming: Proc./29th Intern. Colloquium, ICALP 2002, Malaga, Spain, July 2002
Automata, Languages and Programming: Proc./30th Intern. Colloq., ICALP 2003, Eindhoven, The Netherlands, June-July 2003
Automata, Languages, and Programming: Proc./34th International Colloquium, ICALP 2007. Wroclaw, Poland, July 2007
Automata, Logics, and Infinite Games: A Guide to Current Research
Automated Deduction - CADE-20: Proc./20th International Conference on Automated Deduction. Tallinn, Estonia, July 2005
Automated Deduction - CADE-24: Proc./24th International Conference on AD, Lake Placid,NY,USA, June 2012
Automated Deduction in Additive and Multiplicative Linear Logic
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
Automated Deduction in Equational Logic and Cubic Curves
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
Automated Reasoning: Proc./4th International Joint Conference, IJCAR 2008. Sydney, Australia, August 2008
Automated Reasoning: Proc./Second International Joint Conference, IJCAR 2004 Cork, Ireland, July 2004
Automated Reasoning with Analytic Tableaux and Related Methods: Proc/18th International Conference, TABLEAUX 2009, Oslo, Norway, July 2009
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./International Conference, TABLEAUX 2005. Koblenz, Germany, September 2005