- Gilbert Ndjatou:
Minimizing Agent Specifications using a Logic of Knowledge and Actions. J. Log. Comput. 11(2): 337-354 (2001) - Richard E. Overill:
Book Review: "Selected Papers on Analysis of Algorithms" by Donald E. Knuth. J. Log. Comput. 11(2): 355 (2001) - Richard E. Overill:
Book Review: "Parallel Processing and Parallel Algorithms: Theory and Computation" by Seyed H. Roosta. J. Log. Comput. 11(2): 355-356 (2001) - Richard E. Overill:
Book Review: "Time Warps, String Edits, and Macromolecules: the Theory and Practice of Sequence Comparison" by David Sankoff and Joseph Kruskal. J. Log. Comput. 11(2): 356 (2001) - Richard E. Overill:
Book Review: "Cryptography and Computational Number Theory" by K.-Y. Lam, I. Shparlinski, H. Wang and C. Xing. J. Log. Comput. 11(6): 961 (2001) - Richard E. Overill:
Book Review: "Artificial Immune Systems and their Applications" by D. Dasgupta. J. Log. Comput. 11(6): 961-962 (2001) - Mark Reynolds
, Michael Zakharyaschev
:
On the Products of Linear Modal Logics. J. Log. Comput. 11(6): 909-931 (2001) - Klaus Robering:
Ackermann's Implication for Typefree Logic. J. Log. Comput. 11(1): 5-23 (2001) - Thomas M. Rudlof:
SHR Tableaux - A Framework for Automated Model Generation. J. Log. Comput. 11(1): 107-155 (2001) - Jonathan P. Seldin:
Extensional Set Equality in the Calculus of Constructions. J. Log. Comput. 11(3): 483-493 (2001) - Jerry Seligman:
Internalization: The Case of Hybrid Logics. J. Log. Comput. 11(5): 671-689 (2001) - Yaroslav Shramko
, J. Michael Dunn, Tatsutoshi Takenaka:
The Trilattice of Constructive Truth Values. J. Log. Comput. 11(6): 761-788 (2001) - Sam Steel:
Comparing some Intuitions of 'Process Calculus' and 'Program Logic'. J. Log. Comput. 11(6): 789-827 (2001) - Thomas Studer
:
A Semantics for [lambda]: a Calculus with Overloading and Late-binding. J. Log. Comput. 11(4): 527-544 (2001) - Stephan Tobies:
PSPACE Reasoning for Graded Modal Logics. J. Log. Comput. 11(1): 85-106 (2001) - George Tourlakis:
On the Soundness and Completeness of Equational Predicate Logics. J. Log. Comput. 11(4): 623-653 (2001) - Heinrich Wansing:
Editorial and Call for Papers. J. Log. Comput. 11(1): 3-4 (2001) - Heinrich Wansing
:
Corner on directions in nonclassical logic. J. Log. Comput. 11(6): 759-760 (2001) - Vladimir A. Zakharov:
Book Review: "Model Checking" by E. Clarke, O. Grumberg and D. A. Peled. J. Log. Comput. 11(6): 962-964 (2001)