Search alternatives:
formulas one » formula one, formulas over, formulas only
Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- An Explicit Formula for the Free Exponential Modality of Linear Logic -- Decidability of the Guarded Fragment...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Algorithm for General Stable Marriage -- Limiting Negations in Formulas -- Fast Polynomial-Space Algorithms...”