Proceedings Fourth Workshop on Mathematically Structured Functional Programming
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010
Proceedings International Workshop on Developments in Implicit Computational complExity
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming
Proceedings International Workshop on Verification of Infinite-State Systems
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
Proceedings Second Workshop on Logics for Component Configuration
Proceedings Seventh Workshop on Structural Operational Semantics
Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
Proceedings Sixth Workshop on Structural Operational Semantics
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction
Proceedings Third International Workshop on Classical Logic and Computation
Proceedings Types for Proofs and Programs, Revised Selected Papers
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers
Process algebra with conditionals in the presence of epsilon
Process Behaviour: Formulae vs. Tests (Extended Abstract)
Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic
Productivity of Non-Orthogonal Term Rewrite Systems
Program schemes with binary write-once arrays and the complexity classes they capture