Вы здесь

Главная

логика

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

Combining Communicating Sequential Processes and Temporal Logic
Combining Hierarchical Specification with Hierarchical Implementation
Combining Knowledge and Fixpoints
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems
Committed-Choice Concurrent Logic Programming in Linear Logic
Communication as Fair Distribution of Knowledge
Comparative Metric Semantics for Commit in Or-Parallel Logic Programming
Comparing Logical and Behavioural Equivalences for Event Structures
Compilation and Simplification of Temporal Integrity Constraints
Compilation of Combinatory Reduction Systems
Complete Axiomatizations of some Quotient Term Algebras
Completeness Results for Linear Logic on Petri Nets
Completeness Results for Two-sorted Metric Temporal Logics
Completeness through Flatness in Two-Dimensional Temporal Logic
Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures
Complexity Result for Disjunctive Logic Programming and Application to Nonmonotonic Logics
Composing Specifications
Compositional Checking of Communication among Observers
Compositionality and bisimulation: A negative resalt
Compositionality and Bisimulation: a negative result
Compositional Reasoning Using Interval Temporal Logic and Tempura
Compositional Verification in Linear-Time Temporal Logic
Composition and Refinement of Discrete Real-Time Systems
COMPULOG NET: Network of Excellence in Computational Logic
Computational and Concurrency Models of Linear Logic
Computational Aspects of Arity Hierarchies
Computational Logic and Proof Theory: Proc./5th Kurt Godel Colloquium, KGC 97. Vienna, Austria, August 1997
Computational Logic and Proof Theory: Proc./Third Kurt Godel Colloquium, KGC 93. Brno, Czech Republic, August 1993
Computational Logic - CL 2000: Proc./First Intern. Conf., London, UK, July 2000
Computational Logic in Multi-Agent Systems: Revised Selected & Invited Papers/8th International Workshop, CLIMA VIII. Porto, Portugal, September 2007
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/4th International Workshop, CLIMA IV. Fort Lauderdale, FL, USA, January 2004
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/5th International Workshop, CLIMA V. Lisbon, Portugal, September 2004
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/6th International Workshop, CLIMA VI. London, UK, June 2005
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/ 7th International Workshop,CLIMA VII Hokodate,Japan,May 2006
Computational Logic - Logic Programming and Beyond
Computational Logic - Logic Programming and Beyond: Essays in Honour of Robert A.Kowalski, Part I
Computational Methods in Systems Biology: Proc./International Conference, CMSB 2006. Trento, Italy, October 2006
Computation and Logic in the Real World: Proc./Third Conference on Computability in Europe, CiE 2007. Siena, Italy, June 2007
Computer Aided Verification: Proc./11th Intern. Conf., CAV 99. Trento, Italy, July 1999
Computer Aided Verification: Proc./22nd International Conference, CAV 2010, Edinburgh, UK, July 2010
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 Algebra in Scientific Compiting: Proc./16th International Workshop, CASC 2014, Warsaw, Poland, September 2014
Computer Mathematics: Revised and Invited Papers/8th Asian Symposium, ASCM 2007. Singapore, December 2007
Computer Science Logic: Proc./10th Intern. Workshop, CSL 96, Annual Conf. of the EACSL. Utrecht, The Netherlands, September 1996
Computer Science Logic: Proc./11th Intern. Workshop, CSL 97, Annual Conf. of the EACSL. Aarhus, Denmark, August 1997
Computer Science Logic: Proc./12th Intern. Workshop, CSL 98, Annual Conf. of the EACSL. Brno, Czech Republic, August 1998
Computer Science Logic: Proc./13th Intern. Workshop, CSL 99, 8th Annual Conf. of the EACSL. Madrid, Spain, September 1999
Computer Science Logic: Proc./14th Intern. Workshop, CSL 2000, Annual Conf. of the EACSL, Fischbachau, Germany, August 2000
Computer Science Logic: Proc./15th Intern. Workshop, CSL 2001, 10th Annual Conf. of the EACSL, Paris, France, September 2001
Computer Science logic: Proc./16th Intern. Workshop, CSL 2002, 11th Annual Conf. of the EACSL, Edinburgh, Scotland, UK, September 2002