Volume 205,
April 2008
Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications (LSFA 2007)
- Mauricio Ayala-Rincón, Edward Hermann Haeusler:
Preface.
1-3
- Fairouz Kamareddine, J. B. Wells:
Computerizing Mathematical Text with MathLang.
5-30
- Mario R. F. Benevides, L. Menasché Schechter:
Modal Expressiveness of Graph Properties.
31-47
- Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso:
Sequent Calculi for 'Generally'.
49-65
- Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
Soft Linear Logic and Polynomial Complexity Classes.
67-87
- Alexandre Matos Arruda, Ana Teresa C. Martins:
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models.
89-104
- André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante:
Maude Object-Oriented Action Tool.
105-121
- Luis Carlos de Sousa Menezes:
Aspect-Oriented Action Semantics Descriptions.
123-135
- Gilles Dowek:
On the Convergence of Reduction-based and Model-based Methods in Proof Theory.
137-144
Copyright © Sat Nov 28 22:28:43 2009
by Michael Ley (ley@uni-trier.de)
