Volume 3; Issue 2

ACM Transactions on Computational Logic

Volume 3; Issue 2
1

Sequent calculi for propositional nonmonotonic logics

Bonatti, Piero Andrea, Olivetti, Nicola
Journal:
ACM Transactions on Computational Logic
Year:
2002
Language:
english
File:
PDF, 437 KB
english, 2002
2

Abstract computability and algebraic specification

Tucker, J. V., Zucker, J. I.
Journal:
ACM Transactions on Computational Logic
Year:
2002
Language:
english
File:
PDF, 483 KB
english, 2002