Вы здесь

Главная

теория

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

Practice and Theory of Automated Timetabling V: Revised Selected Papers/5th International Conference, PATAT 2004. Pittsburgh, PA, USA, August 2004
Predicates are Predicate Transformers: a unified compositional theory for concurrency
Predicates as Parameters in Logic Programming
Predicates, Temporal Logic, and Simulations
Preservation Theorems in Finite Model Theory
Principles and Practice of Constraint Programming: Proc./13th International Conference, CP 2007.Providence, RI, USA, September 2007
Principles and Practice of Declarative Programming: Proc./Intern. Conf. PPDP 99. Paris, France, September-October 1999
Private vs. common random bits in communication complexity
Processes with Multiple Entries and Exits
Process Theory: Semantics, Specification and Verification
Programming Languages and Systems: Proc./14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 2016
Programming Language Theory and its Implementation
Programming with Streams in Coq - A Case Study: The Sieve of Eratosthenes
Program Semantics, Specification and Verification: Theory and Application: Proc./9th International Computer Sceince Symposium in Russia, Fifth Workshop, Moscow, Russia, June 2014
Program Transformation in Constructive Type Theory
Proof-Checking a Data Link Protocol
Properties of Relatively Decomposable Theories
Prototyping is Theory Building
Proving Strong Normalization of CC by Modifying Realizability Semantics
Pure Type Systems with de Bruijn Indices
Receptive Process Theory
Refinement and Simulation of Nets - a Саtegorical Characterisation
Reflective Semantics of Constructive Type Theory (Preliminary Report)
Relating Dempster-Shafer Theory to Stable Semantics
Relation between Membership Functions in Fuzzy Sets Theory and Masses in Dempster-Shafer and Operator Theory in Logical Inference Systems
Reply to: Ernard Konrad: Application of Measurement Theory to Software Metrics - Comments on the Bollman-Zuse Approach
Resource Allocation in Wireless Networks: Theory and Algorithms
Results and Trends in Theoretical Computer Science: Proc./Colloquium in Honor of Arto Salomaa. Graz, Austria, June 1994
Reversible Computation: Proc./8th International Conference, RC 2016, Bologna, Italy, July 2016
Rewriting Techniques and Applications: Proc./13th Intern. Conf., RTA 2002, Copenhagen, Denmark, July 2002
Rough Srts, Part I: Proc./International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 2017
Scale-Space Theory in Computer Vision: Proc./First Intern. Conf., Scale-Space 97. Utrecht, The Netherlands, July 1997
Semantics: Foundations and Applications: Proc./REX Workshop. Beekbergen,The Netherlands, June 1-4, 1992
Series-Parallel Posets: Algebra, Automata and Languages
Set Theoretic Foundations for Fuzzy Set Theory, and their Applications
S-invariant analysis of general recursive Petri boxes
Smart Blockchain: Proc./1st International Conference, SmartBlock 2018, Tokyo, Japan, December 2018
SOFSEM 2001: Theory and Practice of Informatics: Proc./28th Conf. on Current Trends in Theory and Practice of Informatics, Piest any, Slovak Republic, November/December 2001
SOFSEM 2004 - Theory and Practice of Computer Science: Proc./30th Conf. on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 2004
SOFSEM 95: Theory and Practice of Informatics: Proc./22nd Seminar on Current Trends in Theory and Practice of Informatics. Milovy, Czech Republic, November-December 1995
SOFSEM 96: Theory and Practice of Informatics: Proc./23rd Seminar on Current Trends in Theory and Practice of Informatics. Milovy, Czech Republic, November 1996
Solving 3-Satisfiability in Less than 1,579 Steps
Some Applications of Gentzen s Proof Theory in Automated Deduction
Some Characteristics of Nondeterministic Processes
Some Connections between Set Theory and Computer Science
Some Covering Problems in Location Theory on Flow Networks
Some Further Theoretical Results about Computer Viruses
Soundness and Completeness of UNITY Logic
Spatial Information Theory: A Theoretical Basis for GIS: Proc./European Conf., COSIT 93, Marciana Marina, Elba Island, Italy, Sept.1993
Spatial Information Theory. A Theoretical Basis for GIS: Proc./ Internatonal Conference COSIT 97. Laurel Highlands,Pennsylvania, USA, October 1997