Invited Lectures
Limit-Computable Mathematics and Its Applications
Automata, Logic, and XML
u-Calculus via Games (Extended Abstract)
Rewriting and Constructive Mathematics
Bijections between Partitions by Two-Directional Rewriting Techniques
On Continuous Normalization
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle
Compactness and Continuity, Constructively Revisited
Fixpoints and Recursion
Hoare Logics for Recursive Procedures and Unbounded Nondeterminisrn
A Fixpoint Theory for Non-monotonic Parallelism
Greibach Normal Form in Algebraically Complete Semirings
Linear and Resource Logics
Proofnets and Context Semantics for the Additives
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming
Resource Tableaux
Semantics
Configuration Theories
A Logic for Probabilities in Semantics
Possible World Semantics for General Storage in Call-By-Value
A Fully Abstract Relational Model of Syntactic Control of Interference
Temporal Logics and Games
Optimal Complexity Bounds for Positive LTL Games
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL
Trading Probability for Fairness
Probability, Games and Fixpoints
A Logic of Probability with Decidable Model-Checking
Solving Pushdown Games with a Za Winning Condition
Partial Fixed-Point Logic on Infinite Structures
On the Variable Hierarchy of the Modal #-Calculus
Complexity and Proof Complexity
Ludics and Linear Logic
Lambda-Calculi
Resolution and Proofs
Author Index
鄂公网安备 42010302001612号 