Annals of Pure and Applied Logic

1	--	0	Gordon D. Plotkin. Foreword
3	--	31	Markus Frick, Martin Grohe. The complexity of first-order and monadic second-order logic revisited
33	--	59	Guillem Godoy, Ashish Tiwari, Rakesh M. Verma. Deciding confluence of certain term rewriting systems in polynomial time
61	--	78	Stephan Kreutzer. Expressive equivalence of least and inflationary fixed-point logic
79	--	123	Olivier Laurent. Polarized games
125	--	171	C.-H. Luke Ong. An approach to deciding the observational equivalence of Algol-like languages
173	--	205	Martin Otto. Modal and guarded characterisation theorems over finite transition systems
207	--	275	Alex K. Simpson. Computational adequacy for recursive types in models of intuitionistic set theory
277	--	323	Michael Soltys, Stephen A. Cook. The proof complexity of linear algebra
325	--	337	Richard Statman. On the lambda::::Y:::: calculus

External Links