Search
Selected: P

Proceedings Fourth Workshop on Mathematically Structured Functional Programming

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings International Workshop on Developments in Implicit Computational complExity

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings International Workshop on Verification of Infinite-State Systems

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings Second Workshop on Logics for Component Configuration

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings Seventh Workshop on Structural Operational Semantics

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings Sixth Workshop on Structural Operational Semantics

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings Third International Workshop on Classical Logic and Computation

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings Types for Proofs and Programs, Revised Selected Papers

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Process algebra with conditionals in the presence of epsilon

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Process Behaviour: Formulae vs. Tests (Extended Abstract)

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Productivity of Non-Orthogonal Term Rewrite Systems

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Program schemes with binary write-once arrays and the complexity classes they capture

Computer Science – Logic in Computer Science
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0
  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.